Searching for "Follow automata." – sorted by Relevance.
81 documents found, showing 1 through 10.
Next 10 →
-
A Unified Construction of the Glushkov, Follow, and Antimirov Automata
- …A Unified Construction of the Glushkov, Follow, and Antimirov Automata Cyril Allauzen and Mehryar…
- Cited by 1 (0 self) – Add To MetaCart
-
Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem
- … for timed computation tree logic (TCTL) following the automata-theoretic approach. This settles a problem…
- Add To MetaCart
-
What else is decidable about integer arrays?
- …). The decision procedure follows the automata-theoretic approach: we translate formulae into a special class…
- Cited by 1 (0 self) – Add To MetaCart
-
A Kleene iteration for parallelism
- …, Thatcher and Wright followed an idea of Buchi (as cited in [16]) and constructed automata operating…
- Cited by 4 (1 self) – Add To MetaCart
-
Kamal Lodaya
- …, Thatcher and Wright followed an idea of Buchi (as cited in [16]) and constructed automata operating…
- Add To MetaCart
-
Flatness is not a Weakness
- … naturally in PLTL itself: following the automata approach, the models of a PLTL formula are recognized by a…
- Cited by 15 (0 self) – Add To MetaCart
-
Flatness is not a Weakness
- … naturally in PLTL itself: following the automata approach, the models of a PLTL formula are recognized by a…
- Add To MetaCart
-
Concatenation Hierarchies and Forbidden Patterns
- … ). These definitions are local to the remainder of Section 2. In this paper, we follow an automata--theoretic approach…
- Add To MetaCart
-
Concatenation Hierarchies and Forbidden Patterns
- … ). These definitions are local to the remainder of Section 2. In this paper, we follow an automata--theoretic approach…
- Add To MetaCart
-
Quantum Automata With Mixed States; Functions and Languages Recognition
- … using exactly 2 oracle queries. Proof. We prepare quantum automata with mixed states as follows…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
