From Bidirectionality to Alternation

13 years 9 months ago

Download www.wisdom.weizmann.ac.il

We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating automata with quadratic blow-up. We ﬁrst describe the construction for automata on ﬁnite words, and extend it to automata on inﬁnite words.

Nir Piterman, Moshe Y. Vardi

Real-time Traffic

1-way Alternating Automata | 2-way Nondeterministic Automata | MFCS 2001 | Quadratic Blow-up | Theoretical Computer Science |

claim paper

» Dual Syntax for XML Languages

» Bidirectional Automata for Tree Adjoining Grammars

» A compositional approach to bidirectional model transformation

» A new advance in alternative splicing databases from catalogue to detailed analysis of reg...

» Illumination Invariant And Rotational Insensitive Textural Representation

» From State to DeltaBased Bidirectional Model Transformations

» Recover Writing Trajectory from Multiple Stroked Image Using Bidirectional Dynamic Search

» On the multicast capacity of unidirectional and bidirectional packetswitched WDM ring netw...

Post Info
More Details (n/a)

Added	30 Jul 2010
Updated	30 Jul 2010
Type	Conference
Year	2001
Where	MFCS
Authors	Nir Piterman, Moshe Y. Vardi

Comments (0)

Sciweavers

From Bidirectionality to Alternation

1-way Alternating Automata | 2-way Nondeterministic Automata | MFCS 2001 | Quadratic Blow-up | Theoretical Computer Science |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers