ABSTRACT
No abstract available.
- Introducing the preference control primitive experience with controlling nondeterminism in Ada
Recommendations
On the succinctness of nondeterminism
ATVA'06: Proceedings of the 4th international conference on Automated Technology for Verification and AnalysisMuch is known about the differences in expressiveness and succinctness between nondeterministic and deterministic automata on infinite words. Much less is known about the relative succinctness of the different classes of nondeterministic automata. For ...
Context-dependent nondeterminism for pushdown automata
Pushdown automata using a limited and unlimited amount of nondeterminism are investigated. Moreover, nondeterministic steps are allowed only within certain contexts, i.e., in configurations that meet particular conditions. The relationships of the ...
Determinism vs. nondeterminism for two-way automata: representing the meaning of states by logical formulæ
DLT'12: Proceedings of the 16th international conference on Developments in Language TheoryThe question whether nondeterminism is more powerful than determinism for two-way automata is one of the most famous old open problems on the border between formal language theory and automata theory. An exponential gap between the number of states of ...
Comments