Nieskończone słowa akceptowane przez ten język to te, w których stan B występuje nieskończenie wiele razy, czyli albo 1 występuje nieskończenie wiele razy (słowo nie kończy się samymi zerami), albo w słowie jest skończenie wiele jedynek, ale ostatnia jedynka zmieniła stan automatu z na Czyli język akceptuje słowa w których: jedynek jest nieskończenie wiele, lub jedynek jest nieparzysta liczba.
Zmieniając stan startowy z A na B, uzyskalibyśmy język słów nieskończonych, w których: jedynek jest nieskończenie wiele lub jedynek jest parzysta liczba.
Kategoria:Teoria automatów