Documentation

sSFT :: State Source #

sSST :: State Source #

fSFT :: State Source #

fSST :: State Source #

iSST :: State Source #

first :: [Relation] -> Symbol -> [String] Source #

follow :: [Relation] -> Symbol -> [String] Source #

first2 :: [Symbol] -> [Relation] -> [String] -> [String] Source #

genRelationCommand :: (Relation, State) -> [State] -> [Relation] -> ([State], [[TapeCommand]]) Source #

genEraseCommand :: Terminal -> [TapeCommand] Source #

genPreviewCommand :: [Relation] -> [State] -> ([State], [[TapeCommand]], [(Relation, State)]) Source #

cfg2tm :: Grammar -> TM Source #