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