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