Цитата: Agnius от февраля 13, 2022, 21:16Это была тема моего диплома, 2022-1982, ровно 40 лет тому назад. Больше я никогда этой автоматной мути не касалась. Неудачно выбрала руководителя диплома, потом неудобно было менять.
Так это же как вроде ваша специальность, думал уж вы то решите
Цитата: Andrey Lukyanov от февраля 13, 2022, 17:57А вот это уже верно
Поскольку у нас есть ещё 16 разных отображений из исходных 2 бит в бит выходного сигнала, то получается 9×16=144 разных варианта устройства чёрного ящика.
Цитата: _Swetlana от февраля 13, 2022, 17:06Да я уже привел, это множество всех автоматов, которые имеют одинаковые функции дачи выходных символов для каждого состояния, а значит, переходы между состояниями могут быть любыми
Если для вас приведенные на рисунке выше ДМТ (по вашему внутреннему убеждению) изоморфны, то ваше убеждение к задаче не пришьёшь. Вы должны корректно сформулировать определение изоморфизма двух ДМТ. Дв
Цитата: _Swetlana от февраля 13, 2022, 20:26Да, я знаю, о каком изоморфизме вы говорите, он более узкий, чем озвученный выше функциональный (т.е. два автомата могут быть не изоморфны, но иметь одинаковую внешнюю функцию выдачи выходной строки в зависимости от входной) И в данном простом случае нет нетривиальных изоморфизмов (в общепринятом смысле)
Ну и изоморфизм у автоматов как-то стандартно определяется, неохота вспоминать как
Цитата: _Swetlana от февраля 13, 2022, 20:31Так это же как вроде ваша специальность, думал уж вы то решите
Неохота вспоминать всю эту автоматную муть
Цитата: yurifromspb от февраля 13, 2022, 17:32Там должно быть отображение (изоморфизм же) мн-ва состояний одного автомата на мн-во состояний другого... Неохота вспоминать всю эту автоматную муть
Эквивалентными надо считать (при некоторых предположениях об осмысленности условия) такие автоматы, которые для любых одинаковых входов дают одинаковые выводы. Иными словами, если автоматы задают одинаковые функции на {0,1}*->{0,1}*, то они эквивалентны.
Плюс дано ограничение на функцию переходов - из любого состояния всегда можно выйти.
Цитата: yurifromspb от февраля 13, 2022, 17:45Стартовое состояние всегда q1
Стартовое состояние тоже имеет значение.
Цитата: yurifromspb от февраля 13, 2022, 17:32Да, у ДМТ обязательно должно быть заключительное состояние, поэтому состояний для такой задачи нужно три. Ну и изоморфизм у автоматов как-то стандартно определяется, неохота вспоминать как
По-моему, у Агния автомат Мили, а не ДМТ.
Цитироватьи лента дана вся сразу (хотя, конечно, можно и менять, но это надо оговорить).Ну по задаче лента и дана вся сразу. Пишешь на ленту любую последовательность и угадываешь структурную схему.
Цитата: Agnius от февраля 13, 2022, 14:32Я не понимаю ваших шмелизмов
Я же уже писалЦитата: Agnius от февраля 11, 2022, 22:36
Тут можно уточнить - если алгоритмы для обоих состояний одинаковы, то нам не важна динамика переходов между внутренними состояниями.
Страница создана за 0.060 сек. Запросов: 24.