Изменения

Перейти к: навигация, поиск

Детерминированные конечные автоматы

3 байта добавлено, 20:54, 18 октября 2016

м

→‎Представление таблицей переходов

<tex>M = (Q, \Sigma , \delta, q_0, F)</tex>, где

*<tex>Q = {S_1, S_2}</tex>,

*<tex>\Sigma~~</tex>~~ = \{0, 1\}</tex>,

*<tex>q_0 = S_1</tex>,

*<tex>F = {S_1}</tex>,

177

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/55585»