| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
TM2SymTM
Documentation
firstPhase :: [State] -> [TapeCommand] -> [[TapeCommand]] -> [State] -> [Set State] -> [State] -> [[TapeCommand]] Source #
generateEmptyStayCommands :: [State] -> [TapeCommand] -> [TapeCommand] Source #
secondPhase :: State -> [[TapeCommand]] -> [State] -> [[TapeCommand]] Source #
thirdPhase :: State -> [[TapeCommand]] -> [State] -> [[TapeCommand]] Source #
symCommands :: [[TapeCommand]] -> [[TapeCommand]] Source #
threePhaseProcessing :: TM -> TM Source #
doubleCommands :: [State] -> [State] -> [TapeAlphabet] -> [Set State] -> [[TapeCommand]] -> ([State], [State], [TapeAlphabet], [Set State], [[TapeCommand]]) Source #
one2KCmds :: ([Set State], [[TapeCommand]]) -> ([Set State], [[TapeCommand]]) Source #
cmd2SIDCmd :: ([Set State], [[TapeCommand]]) -> ([Set State], [[TapeCommand]]) Source #