NFA, DFA and RegExp

w =   F =



Logic
01
> aaba
 bcϕ
* cϕϕ
01
> ABA
 BCA
* CCA