The following pages link to (Q4036599):
Displaying 7 items.
- An approximation algorithm for state minimization in 2-MDFAs (Q855011) (← links)
- A note on the space complexity of some decision problems for finite automata (Q1183428) (← links)
- The state complexities of some basic operations on regular languages (Q1318694) (← links)
- Using SAT solvers for synchronization issues in non-deterministic automata (Q2633380) (← links)
- Büchi Automata Can Have Smaller Quotients (Q3012925) (← links)
- The intersection problem for finite monoids (Q3304129) (← links)
- (Q4625701) (← links)