The following pages link to A mesh of automata (Q2272980):
Displaying 10 items.
- On the size of partial derivatives and the word membership problem (Q2041687) (← links)
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- Location based automata for expressions with shuffle (Q2232263) (← links)
- Location automata for synchronised shuffle expressions (Q2693294) (← links)
- Collectives of automata in labyrinths (Q4809649) (← links)
- (Q5061515) (← links)
- (Q5147401) (← links)
- Verification: Theory and Practice (Q5305650) (← links)
- Location automata for regular expressions with shuffle and intersection (Q6186310) (← links)
- Algorithms for checking intersection non-emptiness of regular expressions (Q6605358) (← links)