Изменения

Перейти к: навигация, поиск
Новая страница: «{{Определение |definition= '''Двусторонний детерминированный конечный автомат (2ДКА)''' (англ. ''Two...»
{{Определение
|definition=
'''Двусторонний детерминированный конечный автомат (2ДКА)''' (англ. ''Two-way deterministic finite automaton (2DFA)'') — набор из восьми элементов <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'').
}}

== См. также ==
* [[Детерминированные_конечные_автоматы]]

== Источники информации==

[[Категория: Теория формальных языков]]
[[Категория: Автоматы и регулярные языки]]
418
правок

Навигация