Изменения

'''Детерминированный конечный автомат (ДКА) (англ. '' deterministic finite automaton (DFA)'')''' — набор из пяти элементов <tex>\langle \Sigma , Q, s \in Q, T \subset Q, \delta : Q \times \Sigma \to Q \rangle</tex>, где <tex>\Sigma</tex> — алфавит (англ. "''alphabet"''), <tex>Q</tex> — множество состояний (англ. "''finite set of states"''), <tex>s</tex> — начальное (стартовое) состояние (англ. "''start state"''), <tex>T</tex> — множество допускающих состояний (англ. "''set of accept states"''), <tex>\delta</tex> — функция переходов (англ. "''transition function"'').