Pages that link to "Item:Q5199956"
From MaRDI portal
The following pages link to The Average Transition Complexity of Glushkov and Partial Derivative Automata (Q5199956):
Displaying 6 items.
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- Derivatives for Enhanced Regular Expressions (Q2830228) (← links)
- Average analysis of Glushkov automata under a BST-like model (Q2908869) (← links)
- On the average state complexity of partial derivative automata: an analytic combinatorics approach (Q2909097) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- On the Average Number of States of Partial Derivative Automata (Q3584886) (← links)