GrammarProducts-0.1.1.2: Grammar products and higher-dimensional grammars

Safe HaskellNone
LanguageHaskell2010

FormalLanguage.GrammarProduct.Op.Common

Synopsis

Documentation

collectTerminals :: Set Rule -> Set Symbol Source

Collect all terminal symbols from a set of rules.

TODO move to FormalGrammars library

TODO i guess, this collects multidim stuff for now!!!

collectNonTerminals :: Set Rule -> Set Symbol Source

Collect all non-terminal symbols from a set of rules.

TODO move to FormalGrammars library

collectEpsilons :: Set Rule -> Set SynTermEps Source

TODO not needed anymore ?!

genEps :: Symbol -> Symbol Source

Generate a multidim epsilon symbol of the same length as the given symbol.

genDel :: Symbol -> Symbol Source

Generate a multidim Deletion symbol of the same length as the given symbol.

opCompatible :: Grammar -> Grammar -> Either String () Source

Checks if two grammars are compatible.

TODO different inside/outside status might not be a big problem!