Highly Undecidable Problems about Recognizability by Tiling Systems
From MaRDI portal
Publication:3634001
DOI10.3233/FI-2009-0045zbMath1214.03031MaRDI QIDQ3634001
Publication date: 23 June 2009
Published in: Fundamenta Informaticae (Search for Journal in Brave)
decision problemsanalytical hierarchyrecognizable languagestwo-dimensional wordsinfinite picturesdegrees of undecidable problems
Formal languages and automata (68Q45) Undecidability and degrees of sets of sentences (03D35) Automata and formal grammars in connection with logical questions (03D05)
Related Items (1)
This page was built for publication: Highly Undecidable Problems about Recognizability by Tiling Systems