Главная / Введение в теорию автоматов / На рисунке дана ГСА МП. Представить ее в виде формул перехода. [картинка]

На рисунке дана ГСА МП. Представить ее в виде формул перехода. files

вопрос

Правильный ответ:

y_H\to x_1y_1 \vee x_1x_2y_2 \vee x_1x_2y_3\\ y_1\to y_4\\ y_2\to y_2\\ y_3\to x_3 y_5 \vee x_3 x_4 y_6 \vee x_3 x_4 y_K\\ y_4\to x_6 y_4 \vee x_6 y_6\\ y_5\to x_4 y_6 \vee x_4 y_K\\ y_6\to y_K
y_H\to x_1y_1 \vee x_1x_2y_2 \vee x_1x_2y_3\\ y_1\to y_2\\ y_2\to y_4\\ y_3\to x_3 y_5 \vee x_3 x_4 y_6 \vee x_3 x_4 y_K\\ y_4\to x_5 y_4 \vee x_5 y_6\\ y_5\to x_4 y_6 \vee x_4 y_K\\ y_6\to y_K;
y_H\to x_1y_1 \vee x_2x_1y_2 \vee x_1x_2y_3\\\ y_1\to y_2\\ y_2\to y_4\\ y_3\to x_5 y_3 \vee x_5 x_3 y_6 \vee x_3x_4 y_K\\ y_4\to x_5 y_4 \vee x_5 y_6\\ y_5\to x_4 y_6 \vee x_4 y_K\\ y_6\to y_K
Сложность вопроса
23
Сложность курса: Введение в теорию автоматов
83
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Экзамен сдал на пять. Ура
31 авг 2017
Аноним
Экзамен сдан на отлично. спс
23 май 2016
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.