The following pages link to (Q4720788):
Displaying 8 items.
- Equivalence of infinite behavior of finite automata (Q1060562) (← links)
- Failure-based equivalence of constraint automata (Q3056378) (← links)
- Unifying Equivalences for Higher Dimensional Automata (Q3168195) (← links)
- (Q3696525) (← links)
- On equivalence and uniformisation problems for finite transducers (Q4598267) (← links)
- (Q5271416) (← links)
- FROM EQUIVALENCE TO ALMOST-EQUIVALENCE, AND BEYOND: MINIMIZING AUTOMATA WITH ERRORS (Q5495421) (← links)
- (Q5508283) (← links)