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