РЕШЕНИЕ (файл) вывод, красное-белое:
ВУЗ:
Дисциплина:
Формат файла:
PDF
Ключевые слова:
- учебник
- учебное пособие
Год:
- 2006
Количество страниц:
75
В пособии рассматриваются основные вопросы, включенные в программу одноименного курса, читаемого студентам специальности 0647. Изучаются такие понятия, как формальные системы, комбинаторные системы, алгоритмы, машины Тьюринга, формальные грамматики и языки. Рассматриваются их основные свойства и взаимосвязь. Обсуждаются алгоритмические разрешаемые и неразрешаемые проблемы, связанные с машинами Тьюринга, автоматами с магазинной памятью и конечными автоматами. Пособие знакомит студентов с математическим аппаратом и основными проблемами теории алгоритмов и формальных языков.
