Automatic Sets of Rational Numbers

作者:Rowland Eric*; Shallit Jeffrey
来源:International Journal of Foundations of Computer Science, 2015, 26(3): 343-365.
DOI:10.1142/S0120054115500197

摘要

The notion of a k-automatic set of integers is well-studied. We develop a new notion - the k-automatic set of rational numbers - and prove basic properties of these sets, including closure properties and decidability.

  • 出版日期2015-4

全文