| Россия |
Инспектор
Вы можете этот курс.
Опубликован: 02.04.2015 | Уровень: для всех | Доступ: платный | ВУЗ: Московский государственный гуманитарный университет имени М.А. Шолохова
Лекция 1:
Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
Лекция 1
Аннотация: Лекция состоит из двух частей. В первой части обсуждаются вопросы разрешимости и перечислимости множеств, сходимости алгоритмов, приводится формулировка теоремы Райса. Вторая часть лекции посвящена введению в теорию конечных автоматов (КА). Дается формальное определение КА, рассматриваются способы задания, примеры.
Лекция 1