FormalLanguage.GrammarProduct.Op.Common

Documentation

collectTerminals :: Set Rule -> Set Symbol

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

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

TODO move to FormalGrammars library

collectEpsilons :: Set Rule -> Set SynTermEps

TODO not needed anymore ?!

genEps :: Symbol -> Symbol

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

genDel :: Symbol -> Symbol

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

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

Checks if two grammars are compatible.

TODO different inside/outside status might not be a big problem! years later: let's see if that holds true!