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

Для обох детермінованих і недетермінованих СА, зручно дозволити <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> може повідомити про помилку (тобто відхілити ввід).