Pages that link to "Item:Q1060562"
From MaRDI portal
The following pages link to Equivalence of infinite behavior of finite automata (Q1060562):
Displaying 8 items.
- Another variation on the common subexpression problem (Q685700) (← links)
- Inequality of finite behaviors of rational weight finite automata is in R (Q1014411) (← links)
- The complementation problem for Büchi automata with applications to temporal logic (Q1088653) (← links)
- Inherently nonplanar automata (Q1217777) (← links)
- An algorithm for checking the equality of infinite catenations of finite languages (Q1281246) (← links)
- A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata (Q3990650) (← links)
- Control of Infinite Behavior of Finite Automata (Q4302302) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)