Decidability of code properties

MaRDI QIDQ2708960zbMATH OpenFDO

Authors Henning Fernau, Klaus Reinhardt, Ludwig Staiger

Publication date 9 July 2003

zbMATH Keywords

decidabilityfinite automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Decidability of code properties
• scientific article; zbMATH DE number 826059
• Automata accepting bifix codes
• On infinitary finite length codes
• On the maximality of languages with combined types of code properties

Cited in

(10)

• Iterated function systems and control languages
• Methods for relativizing properties of codes
• Formal descriptions of code properties: decidability, complexity, implementation
• On the maximality of languages with combined types of code properties
• scientific article; zbMATH DE number 6851935 (Why is no real title available?)
• scientific article; zbMATH DE number 777294 (Why is no real title available?)
• scientific article; zbMATH DE number 826059 (Why is no real title available?)
• Automata accepting bifix codes
• Symbolic manipulation of code properties
• Decidability of code properties

This page was built for publication: Decidability of code properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2708960)