ДЕТЕРМИНИ́РОВАННЫЙ АВТОМА́Т

ДЕТЕРМИНИ́РОВАННЫЙ АВТОМА́Т, ав­то­мат с ко­неч­ным чис­лом со­стоя­ний, в ко­то­ром пе­ре­ход из од­но­го со­стоя­ния в дру­гое за­ви­сит от пред­ше­ст­вую­ще­го со­стоя­ния и зна­че­ния вход­но­го сиг­на­ла. Д. а. фор­маль­но опи­сы­ва­ет­ся в ви­де функ­ции f(s_i,a_j) = a_k, где s_i – вход­ной сиг­нал, a_j – пре­ды­ду­щее со­стоя­ние. Ти­пич­ный при­мер Д. а. – циф­ро­вая вы­чис­лит. ма­ши­на, в ко­то­рой со­стоя­ние всех ре­ги­ст­ров и яче­ек оп­ре­де­ля­ет­ся их пре­ды­ду­щим со­стоя­ни­ем и вход­ны­ми сиг­на­ла­ми. Д. а. яв­ля­ют­ся ес­те­ст­вен­ной фор­мой опи­са­ния ло­гич. струк­ту­ры дис­крет­ных вы­чис­лит. уст­ройств.