Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

A pumping lemma for ordered restarting automata

From MaRDI portal
Publication:2401005
Jump to:navigation, search

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


Authors: Kent Kwee, Friedrich Otto Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2401005&oldid=15041047"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 2 February 2024, at 19:55. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki