scientific article; zbMATH DE number 3684913

MaRDI QIDQ3880295zbMATH OpenFDO

Authors Laurent Chottin

Publication date 1979

zbMATH Keywords

controlled rewriting systemsemi-Dyck languagesstrict deterministic language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited in

(8)

• Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages
• A polynomial algorithm testing partial confluence of basic semi-Thue systems
• Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata
• On rationally controlled one-rule insertion systems
• A polynomial algorithm testing partial confluence of basic semi-Thue systems
• Subregularly controlled insertion systems
• Some decision problems about controlled rewriting systems
• A characterisation of deterministic context-free languages by means of right-congruences

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 Q3880295)