Mis­tä lo­gii­kas­sa on ky­se
Apua lu­kuun 4

DFA, joka esittää x = 5 tai x = -4
DFA, joka esittää y = -x
DFA, joka esittää luonnollisten lukujen yhteenlaskua
DFA, joka esittää x mod 5 = 0
DFA, joka esittää x = y
DFA, joka esittää x < y
Esimerkki tuloautomaatin muodostamisesta
Esimerkki DFA:n minimoinnin lopputuloksesta
Esimerkki osajoukkokonstruktiosta
Osajoukkokonstruktion todistuksesta