The following pages link to A play on regular expressions (Q5176954):
Displayed 5 items.
- Translating regular expression matching into transducers (Q420836) (← links)
- Automata and rational expressions (Q2074204) (← links)
- Derived-Term Automata for Extended Weighted Rational Expressions (Q3179410) (← links)
- Computing with relational machines (Q5269008) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)