test/automata/aba

#
# Tests a[ab]*
#
t 0 1 a
t 1 1 a
t 1 1 b
f 1
-------
a
=>
a
a
=>
a
b
a
b
a
b
=>
b
=>
a
c
=>
=>