Documentation

splitPosNegCmds :: [[TapeCommand]] -> ([[TapeCommand]], [[TapeCommand]], [[TapeCommand]], [[TapeCommand]]) Source #

copySMForCommand :: SM -> SMTag -> TMCMD -> SM Source #

createSMs :: [Y] -> [SM] Source #

genConnectingRules :: TMCMD -> [SRule] Source #

genPos22Rule :: TMCMD -> SRule Source #

symSM :: SRule -> SRule Source #

sigmaFunc :: [State] -> [[Smb]] -> Word Source #

renameRightLeftBoundings :: [[TapeCommand]] -> [[TapeCommand]] Source #

tm2sm :: TM -> (SM, Word, [State]) Source #