() және () арақатынастары транзитивтік немесе рефлексифті –транзитивтік қатыс болып табылады .Шекті автомат k=(Q, ,,q,F) енгізу тізбегін анықтайды, егер (q)+(q, ) болса, онда qF.Анықталған тілмен шекті к- автоматты көптеген енгізу тізбегімен аталады .
Достарыңызбен бөлісу: |