1  #
 2  # Tests a[ab]*
 3  #
 4  t 0 1 a
 5  t 1 1 a
 6  t 1 1 b
 7  f 1
 8  -------
 9  a
10  =>
11  a
12  a
13  =>
14  a
15  b
16  a
17  b
18  a
19  b
20  =>
21  b
22  =>
23  a
24  c
25  =>
26  =>