scientific article; zbMATH DE number 777294

MaRDI QIDQ4840170zbMATH OpenFDO

Authors Helmut Jürgensen, Kai Salomaa, Sheng Yu

Publication date 20 July 1995

zbMATH Keywords

intercoderegular language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Decidability of code properties
• Decidability of code properties
• scientific article; zbMATH DE number 2185668
• Decidability in analysis
• Decidability of definability
• Decidability of the weak interpolation property over the minimal logic
• scientific article; zbMATH DE number 826059
• scientific article; zbMATH DE number 1302671
• Decidability of parameterized verification

Cited in

(6)

• Transducers and the decidability of independence in free monoids
• Some results on \((k, m)\)-comma codes
• Intercode regular languages
• scientific article; zbMATH DE number 4143910 (Why is no real title available?)
• Decidability of involution hypercodes
• Intercodes and the semigroups they generate

This page was built for publication:

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