On piecewise testable, starfree, and recognizable picture languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1378, Issue , 1998, Pages 203-210

  Matz, Oliver ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FIRST ORDER LOGIC; PICTURE LANGUAGES; PIECE-WISE; TWO-DIMENSIONAL LANGUAGES;

FORMAL LOGIC;

EID: 84947927264     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053551     Document Type: Conference Paper

References (8)

1. Jean-Carnille Birget. The state complexity of E.L. Information Processing Letters, 58:185-188, 1996.
2. D. Giammaxresi and A. Restivo. Two-dimensional languages. In G. Rozen-berg and A. Salomaa, editors, Handbook of Formal Language Theory, volume III. Springer-Verlag, New York, 1996.
3. D. Giammarresi, A. Restivo, S. Seibert, and W. Thomas. Monadic second-order logic and recognizability by tiling systems. Information and Computation, 125:32-45, 1996.
4. Ian Glaister and Jeffrey Shallit. A lower bound technique for the size of nondeterministic finite automata. Information Processing Letters, 125:3245, 1996.
5. Oliver Matz. Klassifizierung von Bildsprachen mit rationalen Ausdrücken, Grammatiken und Logik-Formeln. Diploma thesis, Christian-Albrechts-Uni-versität Kiel, 1995. (German).
6. Oliver Matz. Regular expressions and context-free grammars for picture languages. In Riidiger Reischuk, editor, STAGS’97, volume 1200 of Lect. Notes Comput. Sci., pages 283-294, Lübeck, Germany, 1997. Springer-Verlag.
7. Oliver Matz and Wolfgang Thomas. The monadic quantifier alternation hierarchy over graphs is infinite. In Twelfth Annual IEEE Symposium on Logic in Computer Science, pages 236-244, Warsaw, Poland, 1997. IEEE.
8. Thomas Wilke. Star-free picture expressions are strictly weaker than first-order logic. In Pierpaolo Degano, Roberto Gorrieri, and Alberto Marchetti-Spaccamela, editors, Automata, Languages and Programming, volume 1256 of Lect. Notes Comput. Sci., pages 347-357, Bologna, Italy, 1997. Springer.