Дискретка / diskretka
.pdf33.Теорема об операции обратной связи. Теорема о полноте системы {fØ, fÙ, fÚ, }. Теорема об алгоритмической неразрешимости проблемы полноты в классе о-д. функций.
Насчёт операции обратной связи пока не знаю.
34.Конечный автомат (распознаватель). Степень отношения, рефлексивнотранзитивное и транзитивное замыкания отношения. Язык, допускаемый автоматом. Детерминированный конечный автомат.
Сомнения насчёт последнего подпункта. Он ведь уже был… Может, опечатка и имелось в виду недетерминированный?
35. Теорема о языках, допускаемых недетерминированными и детерминированными автоматами. Построение по недетерминированному автомату детерминированного автомата.
36.Грамматики. Отношение непосредственной выводимости, отношение выводимости. Язык, порождаемый грамматикой.