Мысалдарындағы шекті автоматтар детермиалданған және толық анықталған ал шекті автомат мысалында келтірілген. Ол детермиалданбаған автомат. Дәлелдеуге болады (3.38) егер L=L(k) болса детермиалданбаған шекті автомат болады немесе k шекті автоматын, детермиалданбаған шекті автомат құру үшін L=L(k) орындалады.Детермиалданбаған шекті автоматтың алгоритімін құруды детермиалданған шекті автоматқа қарап құрайық.
Алгоритім4.1. Детерминантты шекті автомат пен детерминантты емес алданбаған шекті автоматтың құрылымы.
Енгізу: детермиалданбаған k=(Q, ,,q,F)
Енгізу:детермиалданған k =(Q, ,, q,F) сонда L(k)= L(k).
Алгоритімді бейнелеу:
Достарыңызбен бөлісу: |