Documentation

checkCommandTapeToTape :: [([Square], State, [Square])] -> [TapeCommand] -> Bool Source #

applyCommand :: [([Square], State, [Square])] -> [TapeCommand] -> [[([Square], State, [Square])]] -> [([Square], State, [Square])] -> [[([Square], State, [Square])]] Source #

applyCommands :: [[([Square], State, [Square])]] -> [[TapeCommand]] -> [[[([Square], State, [Square])]]] Source #

applyCommandss :: [[[([Square], State, [Square])]]] -> [[[TapeCommand]]] -> [[[([Square], State, [Square])]]] -> [[[([Square], State, [Square])]]] Source #

checkFinalEmptyStates :: [State] -> [([Square], State, [Square])] -> Bool Source #

startInterpreting :: [State] -> [[[([Square], State, [Square])]]] -> [[TapeCommand]] -> [[([Square], State, [Square])]] Source #

interpretTM :: [String] -> TM -> Configs Source #