, A=, , > соңғы автоматтың жүзеге асатын көптеген қалпы индукцияға негізделген алгоритм көмегімен құрылады. I-ші қадамға Oi қалпын құрамыз. Автоматтың бастапқы қалпында кейбір кіріс түзілістерінің ұзындығы i артық емес. Oo={s } екені айқын.Q =Q s Qi   (s,x)) анықтамасы кез келген i үшін дұрыс. Сонымен бірге, |S| қадамынан артық емес Q =Q екені айқын. Q деп осы көптеген қалпы автоматтың 'A=, > жүзеге асатын қалыптарын қамтиды.
Енді соңғы автоматтардың эквиваленттілігі мәселесіне қайта оралайық.
Достарыңызбен бөлісу: |