A pumping lemma for ordered restarting automata

DOI10.1007/978-3-319-60252-3_18zbMATH Open1489.68128OpenAlexW2620566111MaRDI QIDQ2401005FDOQ2401005

Authors: Kent Kwee, Friedrich Otto 

Publication date: 31 August 2017

Full work available at URL: https://hal.inria.fr/hal-01656996/file/440206_1_En_18_Chapter.pdf

Recommendations

• On the effects of nondeterminism on ordered restarting automata
• Nondeterministic ordered restarting automata
• Reversible Ordered Restarting Automata
• On some decision problems for stateless deterministic ordered restarting automata
• On the descriptional complexity of stateless deterministic ordered restarting automata

zbMATH Keywords

pumping lemmarestarting automatonfiniteness problemordered rewriting

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (2)

• Pumping for ordinal-automatic structures1
• On deterministic ordered restart-delete automata

This page was built for publication: A pumping lemma for ordered restarting automata

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