Rosetta Code

Universal Turing machine: Difference between revisions

Page Discussion

Universal Turing machine (view source)

Revision as of 09:05, 16 July 2013

80 bytes removed ,  10 years ago
m
→‎{{header|Haskell}}
mNo edit summary
Line 835:
<lang haskell>
import Control.Monad.State
import Data.List (intersperse, nub, find)
 
data TapeMovement = MoveLeft | MoveRight | Stay deriving (Show, Eq)
Line 890:
let (pos, currentState, tape) = current m
item = tape !! pos
validRulesisValid = filter (\(e, i, _, _, _) ->= e == currentState &&
(i == item || i == noOpSymbol m)) (rules m)
return $! find isValid (rules m)
if null validRules
then return Nothing
else return $! Just (head validRules)
 
msgToLog :: a -> UTM a ()
Anonymous user
Retrieved from "https://rosettacode.org/wiki/Special:MobileDiff/224247"