Decidability of code properties

DOI10.1051/ita:2007019zbMath1203.68084MaRDI QIDQ5425746

Henning Fernau, Ludwig Staiger, Klaus Reinhardt

Publication date: 14 November 2007

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2007__41_3_243_0

zbMATH Keywords

decidability; deciphering delay; prefix code; bifix code; infix code; partially blind counter machines

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

94B99: Theory of error-correcting codes and error-detecting codes

94A45: Prefix, length-variable, comma-free codes