[Закрыть]
 
popoff.donetsk.ua
Не предметы делают человека, не люди пишут историю, не общество ставит табу. /Sun/
Начало | Новости | Статьи | Форум | Опросы | Карта сайта | Обо мне
popoff.donetsk.ua - Форум - Основы дискретной математики - Конечные автоматы

Конечные автоматы

форумы popoff.donetsk.ua
Страницы: [1]
<< Новый  |  Старый >>  |  Ответ не возможен

Внимание! Этот топик устарел. Пожалуйста, создайте новый топик, чтобы задать интересующий Вас вопрос.

Автор Сообщение
Serj
Сергей
Окт, 2006
Сообщений: 17
Serj url://forum.message:1762
Конечные автоматы

Как записать в таблице переходов ситуацию, когда из одного состояния по одному и тому же входному слову переходим в два разных состояния?
Разве такое возможно? (из заданий к л.р.)

popoff
Yuri
Июл, 2004
Сообщений: 1078
popoff url://forum.message:1763

В Ваших лабораторных работах Вы исследуете детерменированные автоматы. Если в Вашем варианте автомат попался недетерменированный, то Вы можете изменить его, превратив в детерменированный. Посмотрите на него внимательно, скорее всего там просто нужно будет поменять некоторые направления стрелок.

________________________________
Если не будет деревьев — нам нечем будет дышать, если вода загрязнится — нам нечего будет пить.
Serj
Сергей
Окт, 2006
Сообщений: 17
Serj url://forum.message:1764

Можно ли просто заменить входное слово при переходе в одно из состояний? Это, я думаю, решило бы проблемму.
(Одно входное слово для одного состояния и другое для другого)

popoff
Yuri
Июл, 2004
Сообщений: 1078
popoff url://forum.message:1765

Можно ли просто заменить входное слово при переходе в одно из состояний? Это, я думаю, решило бы проблемму.

Serjфорумы popoff.donetsk.ua


Это проблему не решит. Там ещё таблицы переходов-выходов, преобразования автоматов и минимизация - везде учитывается, что автомат должен быть детерменированный. Поэтому, автомат нужно всё-таки преобразовать в детерменированный.

________________________________
Если не будет деревьев — нам нечем будет дышать, если вода загрязнится — нам нечего будет пить.
Serj
Сергей
Окт, 2006
Сообщений: 17
Serj url://forum.message:1766

По каким критериям можно определить детерминированный автомат или нет?
Ато меняя направление стрелки, детерминированным (как я понял) автомат не становится, в моем случае. А вот замена входного слова или удаление одной из исходящих стрелок с одинаковым входным словом, по моему, улучшит ситуацию, либо перенаправить эту стрелку в другое состояние...

popoff
Yuri
Июл, 2004
Сообщений: 1078
popoff url://forum.message:1767

По каким критериям можно определить детерминированный автомат или нет?

Serjфорумы popoff.donetsk.ua

Автомат детерменированный, если есть однозначное соответствие между всеми ячейками совмещённой таблицы переходов выходов и дугами на графе автомата. Одна ячейка - одна дуга. Одна дуга - одна ячейка. Для каждой ячейки есть дуга. Для каждой дуги есть ячейка.

________________________________
Если не будет деревьев — нам нечем будет дышать, если вода загрязнится — нам нечего будет пить.
Serj
Сергей
Окт, 2006
Сообщений: 17
Serj url://forum.message:1768

На счет детерминированного автомата я не ошибся!
Однако более понятно объясню первый вопрос:
Например, на графе переходов нарисована ситуация когда из состояния(вершины) q3 выходит стрелка с входным словом a2 и входит в состояние q2; и исходит стрелка с входным словом a2 и входит в состояние q1. Т.е. исходящие стрелки имеют одинаковые входные слова, поэтому детерминированным автомат и не будет, а если заменить одно из a2 на a1, тогда автомат станет детерминированным...?

popoff
Yuri
Июл, 2004
Сообщений: 1078
popoff url://forum.message:1769

Serj,
Читать много раз до прозрения:
http://popoff.donetsk.ua/forum/SerjHref.html

________________________________
Если не будет деревьев — нам нечем будет дышать, если вода загрязнится — нам нечего будет пить.
Serj
Сергей
Окт, 2006
Сообщений: 17
Serj url://forum.message:1770

Serj,
Читать много раз до прозрения:
http://popoff.donetsk.ua/forum/SerjHref.html

popoffфорумы popoff.donetsk.ua




Нет прозрения.
В совмещенной таблице получается одна незаполненная ячейка - в первой строке, а вторая имеет две записи - во второй строке!
Это не детерминированный автомат.
(Следовательно:  в методичке с ошибкой описан детерминированный автомат или ???)

~~~~~ 21 Дек 2006, 21:03 ~~~~~



~~~~~ 21 Дек 2006, 21:05 ~~~~~

Вопрос по автомату Мура:
Если при синтезировании автомата необходимо сделать проверку принадлежит слово языку или нет, необходимо построить автомат проверяющий только слово принадлежащее языку, и не проверять входные сигналы, не принадлежашие ему???

HUKTO
MK
Янв, 2007
Сообщений: 6
HUKTO url://forum.message:1805


Вопрос по автомату Мура:
Если при синтезировании автомата необходимо сделать проверку принадлежит слово языку или нет, необходимо построить автомат проверяющий только слово принадлежащее языку, и не проверять входные сигналы, не принадлежашие ему???

Serjфорумы popoff.donetsk.ua



А при чем тут слово? Автомат получает сигналы на входе и выдает по ним и состоянию сигналы на выходе - вот и все! Их и надо проверять.

Гость Oleg url://forum.message:2655
Oleg

Вот нашел статьи по конечным автоматам Мили и Мура http://www.cbsystematics.com/education/live/ukraine/kiev/ru/students/moore.cbsx http://www.cbsystematics.com/education/live/ukraine/kiev/ru/students/mealy.aspx. Примеры под технологию Windows Workflow Foundation.

Внимание! Этот топик устарел. Пожалуйста, создайте новый топик, чтобы задать интересующий Вас вопрос.

Страницы: [1]
<< Новый  |  Старый >>  |  Ответ не возможен
Вход
Поиск[?]:
Программное обеспечение любой сложности
koins.com.ua