Automat jest niedeterministyczny, zielone stany to stany akceptujące.