Unambiguity in automata theory
From MaRDI portal
Publication:5500675
Recommendations
Cites work
- scientific article; zbMATH DE number 6680130 (Why is no real title available?)
- scientific article; zbMATH DE number 3660804 (Why is no real title available?)
- scientific article; zbMATH DE number 3523154 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 4003555 (Why is no real title available?)
- scientific article; zbMATH DE number 7354705 (Why is no real title available?)
- Automata and temporal logic over arbitrary linear time
- Choice functions and well-orderings over the infinite binary tree
- DESCRIPTIONAL COMPLEXITY OF NFA OF DIFFERENT AMBIGUITY
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Deciding Equivalence of Finite Tree Automata
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
- Deciding unambiguity and sequentiality of polynomially ambiguous min-plus automata
- Decomposing a $k$-valued transducer into $k$ unambiguous ones
- Descriptional complexity of (un)ambiguous finite state machines and pushdown automata
- Descriptional complexity of machines with limited resources
- Descriptional complexity of unambiguous input-driven pushdown automata
- Elements of automata theory. Translated from the French by Reuben Thomas
- Finite-memory automata
- Forms of determinism for automata
- Fraenkel-Mostowski sets with non-homogeneous atoms
- Games for the -calculus
- MSO on the Infinite Binary Tree: Choice and Order
- Making Nondeterminism Unambiguous
- On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata
- On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
- On the definition of a family of automata
- Polynomial closure and unambiguous product
- Rabin's uniformization problem
- Separating Exponentially Ambiguous Finite Automata from Polynomially Ambiguous Finite Automata
- Series which are both max-plus and min-plus rational are unambiguous
- Structurally Unambiguous Finite Automata
- Succinct representation of regular languages by Boolean automata
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- Unambiguous Büchi automata.
- Unambiguous automata inference by means of state-merging methods.
- Unambiguous constrained automata
- Weighted automata
- What's decidable about weighted automata?
Cited in
(29)- Nominal automata with name binding
- Forms of determinism for automata
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism
- Orbit-finite-dimensional vector spaces and weighted register automata
- On complementing unambiguous automata and graphs with many cliques and cocliques
- Operations on Unambiguous Finite Automata
- scientific article; zbMATH DE number 7559500 (Why is no real title available?)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- Image-binary automata
- Unambiguous Büchi automata.
- The big-O problem
- Operations on Unambiguous Finite Automata
- Unambiguity in Timed Regular Languages: Automata and Logics
- The big-O problem for labelled Markov chains and weighted automata
- Markov chains and unambiguous automata
- Universality Problem for Unambiguous VASS
- A superpolynomial lower bound for the size of non-deterministic complement of an unambiguous automaton
- The containment problem for unambiguous register automata
- The containment problem for unambiguous register automata and unambiguous timed automata
- On history-deterministic one-counter nets
- Solvability of orbit-finite systems of linear equations
- scientific article; zbMATH DE number 7407790 (Why is no real title available?)
- scientific article; zbMATH DE number 7471718 (Why is no real title available?)
- On degrees of ambiguity for Büchi tree automata
- scientific article; zbMATH DE number 6741931 (Why is no real title available?)
- Solving string problems on graphs using the labeled direct product
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata
- Unambiguous automata
- On the state complexity of closures and interiors of regular languages with subwords and superwords
This page was built for publication: Unambiguity in automata theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5500675)
