The following pages link to (Q4202947):
Displayed 5 items.
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- Partial Derivatives for Context-Free Languages (Q2988372) (← links)
- Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity (Q5875352) (← links)