FormalLanguage.CFG.Outside

outsideFromInside

genOutsideRules

outsideSymb

genEpsilonRule

findStartSymbols

toOutside