Publication:4649552
From MaRDI portal
DOI10.4230/LIPIcs.CSL.2012.274zbMath1252.68147arXiv1201.5853MaRDI QIDQ4649552
Etienne Grandjean, Frédéric Olive
Publication date: 22 November 2012
Full work available at URL: https://arxiv.org/abs/1201.5853
cellular automata; second-order logic; linear time; picture languages; recognizability; locality and tiling; logical characterizations
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
68Q80: Cellular automata (computational aspects)
68Q19: Descriptive complexity and finite models