Дискретка / diskretka

33.Теорема об операции обратной связи. Теорема о полноте системы {fØ, fÙ, fÚ, }. Теорема об алгоритмической неразрешимости проблемы полноты в классе о-д. функций.

Насчёт операции обратной связи пока не знаю.

34.Конечный автомат (распознаватель). Степень отношения, рефлексивнотранзитивное и транзитивное замыкания отношения. Язык, допускаемый автоматом. Детерминированный конечный автомат.

Сомнения насчёт последнего подпункта. Он ведь уже был… Может, опечатка и имелось в виду недетерминированный?

35. Теорема о языках, допускаемых недетерминированными и детерминированными автоматами. Построение по недетерминированному автомату детерминированного автомата.

36.Грамматики. Отношение непосредственной выводимости, отношение выводимости. Язык, порождаемый грамматикой.