test/automata/abaa

#
# Tests: a[ab]*a{2,3}
#
t 0 1 a
t 1 1 a
t 1 1 b
c 1 2 2 3 a
f 2
-------
a
a
a
=>
# Pass
a
b
a
a
=>
# Pass
a
a
a
a
a
a
a
a
a
=>
# Pass
a
b
a
=>
# Fail
a
b
a
a
b
=>
# Fail