Mamy gramatyki \(\displaystyle{ a^+b^+c^+}\) gdzie mogą być co najmniej raz i \(\displaystyle{ a^*b^*c^*}\) gdzie a,b,c mogą wcale nie wystąpić. Jaki automat NFA (dobrze by było również DFA) może z epsilonem obsługuje te dwie gramatyki?
Sposób tworzenia za pomocą algorytmu Thompsona-McNaughtona-Yamady () powoduje że powstaje dużo więcej stanów.