Краен автомат: Разлика между версии

 

'''Пример за детерминиране:'''

Нека имаме един недетерминиран краен автомат <math>\mathcal{M}=(S,\Sigma,T,I,A)</math> такъв, че:

* S = {1,2,3}

| {1}

|}

Получаваме детерминиран краен автомат <math>\mathcal{D}=(S_\mathcal{D},\Sigma, T_\mathcal{D}, I_\mathcal{D}, A_\mathcal{D})</math> такъв, че:

* <math>S_\mathcal{D}=\{\{1\},\{1,2\},\{1,3\},\{1,2,3\}\}</math>

 

== Автомат трансдуктор ==

'''Трансдуктор''' се нарича автомат, който за всеки входящ символ, връща съответстващ изходящ.