Pages that link to "Item:Q5897663"
From MaRDI portal
The following pages link to Implementation and Application of Automata (Q5897663):
Displaying 8 items.
- The tractability frontier for NFA minimization (Q414869) (← links)
- An O(n \text{log} n) implementation of the standard method for minimizing n-state finite automata (Q672727) (← links)
- Edge-minimization of non-deterministic finite automata (Q2761606) (← links)
- From Sequential Extended Regular Expressions to NFA with Symbolic Labels (Q3073625) (← links)
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata (Q3303912) (← links)
- (Q4256110) (← links)
- (Q4708581) (← links)
- Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels (Q5859660) (← links)