„Pushdown automata“
Suchergebnisse
1.000+ Treffer
-
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words
-
Synchronizable deterministic pushdown automata and the decidability of their equivalence
-
On Polynomial Recursive Sequences
-
On lattice-valued multiset pushdown automata
-
Inclusion Testing of Büchi Automata Based on Well-Quasiorders
-
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
-
Multi-weighted Automata Models and Quantitative Logics
-
Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle
-
Explorability in Pushdown Automata
-
Descriptional Complexity of Formal Systems – 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
-
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
-
On the power of pushing or stationary moves for input-driven pushdown automata
-
On the Complexity of Pumping
-
On the Complexity of Pumping
-
18. Theorietag "Automaten und Formale Sprachen" – Wettenberg-Launsbach bei Gießen 30. September 2. Oktober 2008
-
Foundations of active automata learning: an algorithmic perspective
-
Diagnosis in Infinite-State Probabilistic Systems
-
On Continuous Pushdown VASS in One Dimension
-
Computational Model for Parsing Expression Grammars
-
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata