Safe Haskell | None |
---|---|
Language | Haskell2010 |
Direct product of two grammars.
Currently implemented for linear grammars. Once we move to context-free grammars with more than one non-terminal on the RHS, things become interesting.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Direct product of two grammars.
Currently implemented for linear grammars. Once we move to context-free grammars with more than one non-terminal on the RHS, things become interesting.