Abstract
A sequential automatic algebra is a structure of the type (A; f 1,..., f n ), where A is recognised by a finite automaton, and functions f 1, ..., f n are total operations on A that are computed by input-output automata. Our input-output automata are variations of Mealy automata. We study some of the fundamental properties of these algebras and provide many examples. We give classification results for certain classes of groups, Boolean algebras, and linear orders. We also introduce different classes of sequential automatic algebras and give separating examples. We investigate linear orders considered as sequential automatic algebras. Finally, we outline some of the basic properties of sequential automatic unary algebras.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aleshin, M.: Finite automata and Burnside’s problem for periodic groups. Mat. Notes 11, 199–203 (1972)
Bárány, V.: A Hierarchy of Automatic Words having a Decidable MSO Theory. In: Caucal, D. (ed.) Online Proceedings of the 11th Journées Montoises, Rennes (2006)
Béal, M., Carton, O., Prieur, C., Sakarovitch, J.: Squaring transducers: an efficient procedure for deciding functionality and sequentiality. Theor. Comput. Sci. 292(1), 45–63 (2003)
Blumensath, A.: Automatic Structures. Diploma Thesis, RWTH Aachen (1999)
Blumensath, A., Grädel, E.: Automatic Structures. In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, pp. 51–62 (2000)
Blumensath, A., Grädel, E.: Finite presentations of infinite structures: automata and interpretations. Theory of Computing Systems 37(6), 641–674 (2004)
Cannon, J., Epstein, D., Holt, D., Levy, S., Paterson, M., Thurston, W.: Word processing in groups. Jones and Bartlett (1992)
Carton, O., Thomas, W.: The monadic theory of morphic infinite words and generalizations. Information and Computation 176, 51–76 (2002)
Grigorchuk, R., Nekrashevich, V., Sushanski, V.: Automata, Dynamical systems, and groups. Tr. Mat. Inst. Steklova 231(Din. Sist. Avtom i Beskon. Gruppy), 134–214 (2000)
Khoussainov, B., Nerode, A.: Automatic Presentations of Structures. LNCS, vol. 960, pp. 367–392. Springer, Heidelberg (1995)
Khoussainov, B., Rubin, S.: Automatic Structures: Overview and Future Directions. Journal of Automata, Languages and Combinatorics 8, 287–301 (2003)
Khoussainov, B., Nies, A., Rubin, S., Stephan, F.: Automatic Structures: Richness and Limitations. In: LICS, pp. 44–53. IEEE Computer Society, Los Alamitos (2004)
Kuske, D.: Is Cantor’s theorem automatic?. LNCS, vol. 2850, pp. 332–343. Springer, Heidelberg (2003)
Oliver, G., Thomas, R.: Automatic Presentations for Finitely Generated Groups. In: Diekert, V., Durand, B. (eds.) STACS 2005. LNCS, vol. 3404, pp. 693–704. Springer, Heidelberg (2005)
Saloma, A., Soittola, M.: Automata-theoretic Aspects of Formal Power Series. Springer, Heidelberg (1978)
Rabin, M.: Decidability of second order theories and automata on infinite trees. Trans. AMS 141, 1–35 (1969)
Rubin, S.: Automatic Structures. PhD Thesis, University of Auckland (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brough, M., Khoussainov, B., Nelson, P. (2008). Sequential Automatic Algebras. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds) Logic and Theory of Algorithms. CiE 2008. Lecture Notes in Computer Science, vol 5028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69407-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-69407-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69405-2
Online ISBN: 978-3-540-69407-6
eBook Packages: Computer ScienceComputer Science (R0)