Conjuctive languages
Conjuctive languages correspond to:
- Conjuctive grammars ↗
- Kleene algebra with intersection and least fixed-point operator (μ) or language equations (with solution under least fixed-point)
- Hence Brzozowski derivative (without negation)
- SAPDA - Synchronized Alternating Pushdown Automata