lib:turingMachine

Modules

• Data.Delta
• Data.Helper
• Data.Label
• Data.Numerable
• Data.Sigma
• Math.Model.Automaton.Finite
• Math.Model.Automaton.Stack
• Math.Model.Turing
• Math.Model.Turing.FourWays
• Math.Model.Turing.TwoWays

Dependencies

• base lib:base >=4.6 && <5
• containers lib:containers >=0.5.6.2
• mtl lib:mtl >=2 && <2.3

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• turingMachine test:finite
• turingMachine test:sigma
• turingMachine test:state