scientific article; zbMATH DE number 2090078

MaRDI QIDQ4808752zbMATH OpenFDO

Authors Alfons Geser

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2378/23780267.htm

zbMATH Keywords

terminationloopsemi-Thue systemstring rewritingone-rulesingle-ruleuniform termination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Non-Looping String Rewriting
• Decidability of termination of grid string rewriting rules
• One-rule semi-Thue systems with loops of length one, two or three
• On termination of confluent one-rule string-rewriting systems
• Termination and derivational complexity of confluent one-rule string-rewriting systems

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