Pages that link to "Item:Q1186737"
From MaRDI portal
The following pages link to AUTOMATE, a computing package for automata and finite semigroups (Q1186737):
Displaying 19 items.
- AUTOMATE (Q12832) (← links)
- The inverse identification problem and its technical application (Q877869) (← links)
- Some results on the dot-depth hierarchy (Q1207707) (← links)
- Some results on the generalized star-height problem (Q1207944) (← links)
- Green's equivalences in finite semigroups of binary relations (Q1318965) (← links)
- LANGAGE: A Maple package for automaton characterization of regular languages (Q1575906) (← links)
- Characterization of Glushkov automata (Q1575946) (← links)
- Re-describing an algorithm by Hopcroft (Q1589443) (← links)
- Computing finite semigroups (Q1757008) (← links)
- Automata Tutor v3 (Q2226718) (← 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)
- (Q4474144) (← links)
- Glushkov Construction For Series: The Non Commutative Case (Q4807698) (← links)
- (Q4867136) (← links)
- From regular expressions to finite automata<sup>∗</sup> (Q4944659) (← links)
- Subset construction complexity for homogeneous automata, position automata and ZPC-structures (Q5958722) (← links)
- Direct and dual laws for automata with multiplicities (Q5958727) (← links)