Skip to main content
Article thumbnail
Location of Repository

From bidirectionality to alternation

By Nir Piterman and M.Y. Vardi

Abstract

We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating\ud automata with quadratic blow-up. We first describe the construction for automata on finite words,\ud and extend it to automata on infinite words.Peer-reviewedPost-prin

Topics: two-way automata, nondeterministic finite automata, nondeterministic Buchi automata, alternating finite automata, alternating Buchi automata, 2-WAY AUTOMATA, ALTERNATION
Publisher: Elsevier
Year: 2002
DOI identifier: 10.1016/S0304-3975(02)00410-3
OAI identifier: oai:lra.le.ac.uk:2381/10138
Journal:

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.