Math.Model.Automaton.Stack
type
Delta
a
liftD
data
StackA
a
checkString