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