Конечный автомат: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
→‎Детерминированность: ошибка в "существать переходы"
Строка 25:
Конечные автоматы подразделяются на детерминированные и недетерминированные.
* Детерминированным конечным автоматом (ДКА) называется такой автомат, в котором нет дуг с меткой ''ε'' (предложение, не содержащее ни одного символа), и из любого состояния по любому символу возможен переход в точности в одно состояние.
* Недетерминированный конечный автомат (НКА) является обобщением детерминированного. Недетерминированность автоматов может достигаться двумя способами: либо могут существатьсуществовать переходы, помеченные пустой цепочкой ε, либо из одного состояния могут выходить несколько переходов, помеченных одним и тем же символом.
<gallery mode="packed" heights="250px">
Файл:ДКА.jpg|Детерминированный конечный автомат