Beitrag in einem Sammelband
On nonforgetting restarting automata that are deterministic and/or monotone
Details zur Publikation
Autor(inn)en: | Messerschmidt, H.; Otto, F. |
Herausgeber: | Grigoriev, D., Harrison, J. and Hirsch, E.A. |
Verlag: | Springer |
Verlagsort / Veröffentlichungsort: | Berlin |
Publikationsjahr: | 2006 |
Seitenbereich: | 247-258 |
Buchtitel: | International Computer Science Symposium in Russia, Proc. CSR 2006 |
Titel der Buchreihe: | Lecture Notes in Computer Science 3967 |
Zusammenfassung, Abstract
The nonforgetting restarting automaton is a restarting automaton that is not forced to reset its internal state to the initial state when executing a restart operation. We analyse the expressive power of the various deterministic and/or monotone variants of this model.
The nonforgetting restarting automaton is a restarting automaton that is not forced to reset its internal state to the initial state when executing a restart operation. We analyse the expressive power of the various deterministic and/or monotone variants of this model.
Projekte