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