Abstract
Languages of infinite two-dimensional words (ω-pictures) are studied in the automata theoretic setting of tiling systems. We show that a hierarchy of acceptance conditions as known from the theory of ω- languages can be established also over pictures. Since the usual pumping arguments fail, new proof techniques are necessary. Finally, we show that (unlike the case of ω-languages) none of the considered acceptance conditions leads to a class of infinitary picture languages which is closed under complementation.
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
Y. Choueka. Finite automata, definable sets, and regular expressions over ωn-tapes. Computer and System Sciences, 17:81–97, 1978.
J. Engelfriet and H. Hoogeboom. X-automata on ω-words. Theoretical Computer Science, 110:1–51, 1993.
D. Giammarresi and A. Restivo. Two-dimensional languages. In Handbook of Formal Languages, vol. III, pages 215–267. 1997.
D. Giammarresi, A. Restivo, S. Seibert, and W. Thomas. Monadic second-order logic over rectangular pictures and recognizability by tiling systems. Information and Computation, 125(1):32–45, 1996.
D. Harel. Recurring dominoes: Making the highly undecidable highly understandable. Annals of Discrete Mathematics, 24:51–72, 1985.
M. Kaminski and S. Pinter. Finite automata on directed graphs. Computer and System Sciences, 44:425–446, 1992.
L. Landweber. Decision problems for ω-automata. Mathematical Systems Theory, 3:376–384, 1969.
H. Rogers. Theory of Recursive Functions and Effiective Computability. McGraw-Hill. New York, 1967.
L. Staiger. Research in the theory of ω-languages. Information Processing and Cybernetics EIK, 23:415–439, 1987.
W. Thomas. Automata on infinite objects. In Handbook of Theoretical Computer Science, vol. B, pages 133–192. Amsterdam, 1990.
K. Wagner. On ω-regular sets. Information and Control, 43(2):123–177, 1979.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Altenbernd, JH., Thomas, W., Wöhrle, S. (2003). Tiling Systems over Infinite Pictures and Their Acceptance Conditions. In: Ito, M., Toyama, M. (eds) Developments in Language Theory. DLT 2002. Lecture Notes in Computer Science, vol 2450. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45005-X_26
Download citation
DOI: https://doi.org/10.1007/3-540-45005-X_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40431-6
Online ISBN: 978-3-540-45005-4
eBook Packages: Springer Book Archive