Дискретка / diskretka

25.Задача распознавания автоматов. Теорема о необходимом и достаточном условии распознавания автомата из заданного класса.

26.Теорема о длине простого безусловного эксперимента для распознавания автомата из заданного класса. Следствие.

27.Регулярный условный установочный эксперимент для распознавания автомата из заданного класса

28.Детерминированные функции. Занумерованное дерево. Вес детерминированной функции.

Число классов эквивалентности, на которые разбивается множество поддеревьев, занумерованного дерева, называется весом дерева и соответственно, весом детерминированной функции.

29. О-д. функции, диаграмма Мура, система канонических уравнений автомата (о.д. функции).

30.Структурный автомат, система канонических уравнений структурного автомата (о.д. функ-ции).

31. Операция суперпозиции. Теорема о суперпозиции.

32. Функции, зависящие от переменной с запаздыванием. Операция обратной связи.