The following pages link to Automata and rational expressions (Q2074204):
Displaying 9 items.
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- Adding pebbles to weighted automata: easy specification \& efficient evaluation (Q2447753) (← links)
- (Q3334997) (← links)
- Calculating with Automata (Q3507400) (← links)
- NORMALIZED EXPRESSIONS AND FINITE AUTOMATA (Q5292270) (← links)
- Computer Aided Verification (Q5312910) (← links)
- Partial derivatives of regular expressions over alphabet-invariant and user-defined labels (Q5918273) (← links)
- Topologies for error-detecting variable-length codes (Q6186320) (← links)
- Weighted automata and logics meet computational complexity (Q6647756) (← links)