Abstract
If L is a formal language, we define A L (n) to be the number of states in the smallest deterministic finite automaton that accepts a language that agrees with L on all inputs of length ≤ n. This measure is called automaticity. In this paper, we first study the closure properties of the class DPA of languages of deterministic polynomial automaticity, i.e., those languages L for which there exists k such that A L (n)=O(n k). Next, we discuss similar results for a nondeterministic analogue of automaticity, introducing the classes NPA (languages of nondeterministic polynomial automaticity) and NPLA (languages of nondeterministic poly-log automaticity). We then show how to construct a context-free language with automaticity arbitrarily close to the maximum possible. Finally, we conclude with some remarks about the automaticity of sequences, focusing on fixed points of homomorphisms.
Research supported in part by a grant from NSERC. Please direct all correspondence to this author.
Preview
Unable to display preview. Download preview PDF.
References
J. W. S. Cassels. An Introduction to Diophantine Approximation. Cambridge University Press, 1957.
A. Cobham. Uniform tag sequences. Math. Systems Theory 6 (1972), 164–192.
I. Glaister. Automaticity and closure properties. Master's thesis, University of Waterloo, April 1995.
G. H. Hardy and E. M. Wright. An Introduction to the Theory of Numbers. Oxford University Press, 1989.
J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
J. Kaneps and R. Freivalds. Minimal nontrivial space complexity of probabilistic one-way Turing machines. In B. Rovan, editor, MFCS '90 (Mathematical Foundations of Computer Science), Vol. 452 of Lecture Notes in Computer Science, pages 355–361. Springer-Verlag, 1990.
C. Pomerance, J. M. Robson, and J. O. Shallit. Automaticity II: Descriptional complexity in the unary case. Submitted, 1994.
J. Shallit. Some facts about continued fractions that should be better known. Technical Report CS-91-30, University of Waterloo, Department of Computer Science, July 1991.
J. Shallit. Real numbers with bounded partial quotients: a survey. Enseign. Math. 38 (1992), 151–187.
J. Shallit and Y. Breitbart. Automaticity: Properties of a measure of descriptional complexity. In P. Enjalbert, E. W. Mayr, and K. W. Wagner, editors, STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science, Vol. 775 of Lecture Notes in Computer Science, pages 619–630. Springer-Verlag, 1994.
J. Shallit and Y. Breitbart. Automaticity I: Properties of a measure of descriptional complexity. To appear, J. Comput. System Sci.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Glaister, I., Shallit, J. (1996). Polynomial automaticity, context-free languages, and fixed points of morphisms (Extended abstract). In: Penczek, W., Szałas, A. (eds) Mathematical Foundations of Computer Science 1996. MFCS 1996. Lecture Notes in Computer Science, vol 1113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61550-4_164
Download citation
DOI: https://doi.org/10.1007/3-540-61550-4_164
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61550-7
Online ISBN: 978-3-540-70597-0
eBook Packages: Springer Book Archive