8 research outputs found
30th International Symposium on Theoretical Aspects of Computer Science: STACS '13, February 27th to March 2nd, 2013, Kiel, Germany
Get PDFLIPIcs, Volume 261, ICALP 2023, Complete Volume
Get PDFLIPIcs, Volume 261, ICALP 2023, Complete Volum
An Exponential Gap Between LasVegas and Deterministic Sweeping Finite Automata
No full textA two-way finite automaton is sweeping if its input head canchange direction only on the end-markers. For each n >= 2, we exhibit a problem that can be solved by an O(n^2)-state sweeping Las Vegas automaton, but needs 2^{Omega(n)} states on every sweeping deterministic automaton.QC 20120111Swiss National Science Foundation grant 200021-107327/
An Exponential Gap Between LasVegas and Deterministic Sweeping Finite Automata
No full textA two-way finite automaton is sweeping if its input head canchange direction only on the end-markers. For each n >= 2, we exhibit a problem that can be solved by an O(n^2)-state sweeping Las Vegas automaton, but needs 2^{Omega(n)} states on every sweeping deterministic automaton.QC 20120111Swiss National Science Foundation grant 200021-107327/
