Подскажите, пожалуйста, планируете ли вы возобновление программ высшего образования? Если да, есть ли какие-то примерные сроки? Спасибо! |
Опубликован: 24.11.2009 | Доступ: свободный | Студентов: 2152 / 428 | Оценка: 4.60 / 4.60 | Длительность: 02:24:00
Специальности: Программист
Теги:
Лекция 4:
Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
< Лекция 1 || Лекция 4
Аннотация: Лекция состоит из двух частей. В первой части обсуждаются вопросы разрешимости и перечислимости множеств, сходимости алгоритмов, приводится формулировка теоремы Райса. Вторая часть лекции посвящена введению в теорию конечных автоматов (КА). Дается формальное определение КА, рассматриваются способы задания, примеры.
< Лекция 1 || Лекция 4