Deterministic finite automation
w =
F =
Logic
0
1
> A
B
B
B
C
B
*C
C
B