Лекция 4: Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

Лекция состоит из двух частей. В первой части обсуждаются вопросы разрешимости и перечислимости множеств, сходимости алгоритмов, приводится формулировка теоремы Райса. Вторая часть лекции посвящена введению в теорию конечных автоматов (КА). Дается формальное определение КА, рассматриваются способы задания, примеры.




Реклама



Ваше мнение

Видиотека

Рейтинг@Mail.ru

Яндекс.Метрика