δ*:S´X*®S и λ*: S´X*®Y* определенные следующим образом: – функция переходов автомата из одного состояния в другое:
,
|
|||||||
X, S, Y, δ, λ- конечный автомат. Расширенными функциями переходов и выходов автомата A называются функции
δ*:S´X*®S и λ*: S´X*®Y* определенные следующим образом: – функция переходов автомата из одного состояния в другое: ,
|
|||||||
|