Abstract
We exhibit a first-order definable picture language which we prove is not expressible by any star-free picture expression, i. e., it is not star-free. Thus first-order logic over pictures is strictly more powerful than star-free picture expressíons are. This is in sharp contrast with the situation with words: the well-known McNaughton-Papert theorem states that a word language is expressible by a first-order formula if and only if it is expressible by a star-free (word) expression.
The main ingredients of the non-expressibility result are a Fraïssé-style algebraic characterization of star freeness for picture languages and combinatorics on words.
Preview
Unable to display preview. Download preview PDF.
References
J. R. Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 6:66–92, 1960.
H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical Logic. Springer-Verlag, New York, 1984.
R. Fraïssé. Sur quelques classifications des relations, basés sur des isomorphismes restreints, Publ. Sci. de l'Univ. Alger, Sér. A 1, pp. 35–182, 1954.
D. Giammarresi and A. Restivo. Two-dimensional languages, in G. Rozenberg and A. Salomaa, ed., Handbook of Formal Languages. Springer-Verlag, Berlin. To appear. Preprint, available as:http://www.dsi.unive.it/%7Edora/Papers/chap96.ps.Z.
D. Giammarresi and A. Restivo. Two-dimensional finite state recognizability. Fundamenta Informaticae. To appear.
D. Giammarresi, A. Restivo, S. Seibert, and W. Thomas. Monadic second-order logic over rectangular pictures and recognizability by tiling systems. Inform. and Comput., 125(1):32–45, 1996.
N. Immerman and D. Kozen. Definability with bounded number of bound variables. Inform. and Comput., 83(2):121–139, 1989.
H. A. Maurer, G. Rozenberg, and E. Welzl. Using string languages to describe picture languages. Inform. and Control, 54(3):155–185, 1982.
R. McNaughton and S. Papert. Counter-Free Automata, vol. 69 of Research Monograph. MIT Press, Cambridge, Mass., 1971.
W. Thomas. A concatenation game and the dot-depth hierarchy. In E. Börger, editor, Computation Theory and Logic, volume 270 of Lecture Notes in Comput. Science, pages 415–426. Springer-Verlag, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wilke, T. (1997). Star-free picture expressions are strictly weaker than first-order logic. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds) Automata, Languages and Programming. ICALP 1997. Lecture Notes in Computer Science, vol 1256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63165-8_191
Download citation
DOI: https://doi.org/10.1007/3-540-63165-8_191
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63165-1
Online ISBN: 978-3-540-69194-5
eBook Packages: Springer Book Archive