=====22.=====
{{:aisd:ndfa.png|}}\\
Automat jest niedeterministyczny, zielone stany to stany akceptujące.