Nondeterministic Ordered Restarting Automata
2018 ◽
Vol 29
(04)
◽
pp. 663-685
◽
While (stateless) deterministic ordered restarting automata accept exactly the regular languages, it has been observed that nondeterministic ordered restarting automata (ORWW-automata for short) are more expressive. Here we show that the class of languages accepted by the latter automata is an abstract family of languages that is incomparable to the linear, the context-free, and the growing context-sensitive languages with respect to inclusion, and that the emptiness problem is decidable for these languages. In addition, we give a construction that turns a stateless ORWW-automaton into a nondeterministic finite-state acceptor for the same language.
1977 ◽
Vol 35
(3)
◽
pp. 196-208
◽
2003 ◽
Vol 14
(06)
◽
pp. 1007-1018
◽
Keyword(s):
2020 ◽
pp. 1-29
Keyword(s):
2013 ◽
Vol 24
(06)
◽
pp. 747-763
◽
2012 ◽
Vol 367
(1598)
◽
pp. 1956-1970
◽
2021 ◽
Vol 9
◽
pp. 528-537
Keyword(s):
2005 ◽
Vol 16
(04)
◽
pp. 645-662
◽