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