LangToGroup-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

TuringMachine.Admiter

Description

Module Admiter include admit function for detecting if input Turing machine admit input string.

Documentation

type Depth = Maybe Int Source #

type Action = SymbolOrMove Source #

admit :: MonadFail m => TuringMachine -> Depth -> (String, Int) -> m [Action] Source #

admit' :: MonadFail m => TuringMachine -> Depth -> WorkingState -> m [Action] Source #

module TuringMachine