The following pages link to AUTOMATE (Q12832):
Displaying 11 items.
- Some results on the dot-depth hierarchy (Q1207707) (← links)
- Green's equivalences in finite semigroups of binary relations (Q1318965) (← links)
- Characterization of Glushkov automata (Q1575946) (← links)
- Re-describing an algorithm by Hopcroft (Q1589443) (← links)
- Computing finite semigroups (Q1757008) (← links)
- COMPAS - A Computing Package for Synchronization (Q3073624) (← links)
- From Sequential Extended Regular Expressions to NFA with Symbolic Labels (Q3073625) (← links)
- A conjecture on the concatenation product (Q3147025) (← links)
- (Q3999857) (← links)
- Subset construction complexity for homogeneous automata, position automata and ZPC-structures (Q5958722) (← links)
- Direct and dual laws for automata with multiplicities (Q5958727) (← links)
