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