Math.Model.Automaton.Stack

Stack Automaton

Documentation

type Delta a = (:->:) a (Symbol, Symbol) [Symbol]

Delta for stack machine, takes a state, a symbol in string input and a symbol in stack head and returns next state and update stack

liftD :: Ord a => [(a, Symbol, Symbol, a, [Symbol])] -> Delta a

Takes a list of tuples and lift a Delta

>>> let delta = liftD [(0,'1','A',1,[AA]),(0,'0',blank,0,[A])]

data StackA a

Stack machine only needs a delta and a init state

Constructors

S (Delta a) (State a)

checkString :: Ord a => StackA a -> Wd -> Bool

Executes a stack machine over a word

>>> checkString autStack 'aaabbbcccccc'
True