Відмінності між версіями «Скінченний автомат»

Перейти до навігації Перейти до пошуку
** <math>F</math> набір кінцевих станів, (можливо порожня) підмножина <math>S</math>.
 
Для обох детермінованих і недетермінованих СА, зручно дозволити <math>\delta</math> бути неповною функцією, тобто <math>\delta(q,x)</math> не має бути визначеною для кожної комбінації <math>q \isin S</math> andі <math>x \isin \Sigma</math>. Якщо СА <math>M</math> перебуває в стані <math>q</math>, наступний символ <math>x</math> і <math>\delta(q,x)</math> не визначена, тоді <math>M</math> може повідомити про помилку (тобто відхілити ввід).
 
* ''скінченний перетворювач'' це шістка <math>(\Sigma, \Gamma, S, s_0, \delta, \omega)</math>, де:
Анонімний користувач

Навігаційне меню