LangToGroup-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

TuringMachine.Optimization

Description

Module Optimization include functions for reducing size of Turing machine with saving of functionality.

Documentation

optimize :: Level -> TuringMachine -> TuringMachine Source #

optimal :: Level -> TuringMachine -> Bool Source #

ifCanOptimize :: MonadFail m => Level -> TuringMachine -> m TuringMachine Source #

safeOptimize :: Level -> TuringMachine -> TuringMachine Source #

safeOptimal :: Level -> TuringMachine -> Bool Source #

ifCanSafeOptimize :: MonadFail m => Level -> TuringMachine -> m TuringMachine Source #

data DiffTM Source #

Instances

Instances details
Show DiffTM Source # 
Instance details

Defined in TuringMachine.Optimization

Methods

showsPrec :: Int -> DiffTM -> ShowS #

show :: DiffTM -> String #

showList :: [DiffTM] -> ShowS #

diffTM :: Level -> TuringMachine -> DiffTM Source #

module TuringMachine.Optimization.Level

module TuringMachine.Optimization.Safe

module TuringMachine