DRAKON.SU

Текущее время: Четверг, 28 Март, 2024 14:36

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Автоматный силуэт языка ДРАКОН
СообщениеДобавлено: Понедельник, 30 Октябрь, 2017 08:55 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Автоматный силуэт языка ДРАКОН
viewtopic.php?p=100633#p100633

Данная тема создана по предложению Степана Митькина.

LKom писал(а):
ХАОС - произвольное использование нотации Дракон.

Степан Митькин писал(а):
Я предлагаю выделить особый вид диаграмм силуэт — автоматный силуэт.
Не хаос и произвол, а порядок и гармония.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Автоматный силуэт языка ДРАКОН
СообщениеДобавлено: Понедельник, 30 Октябрь, 2017 09:01 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5846
Откуда: Москва
Степан Митькин писал(а):
"Сцепленность" автоматов означает, что по смыслу переменных две, но их значения засунуты в одну.

Владимир Паронджанов писал(а):
Есть ли на этот счет какое-нибудь формальное или полуформальное правило? Правило, позволяющее выяснить, является ли автомат "сцепленным"?
Правило, которое позволяет забраковать данный автомат, потому что он является "сцепленным".

Степан Митькин писал(а):
Формального правила я не знаю.
Может, оно и есть. Специалисты по автоматному программированию его, наверное, знают.

Сам пользуюсь следующими двумя неформальными правилами.

1. Количество состояний
Если количество состояний больше 7-9,
возможно, имеет смысл разбить автомат на несколько.

2. Повторы в именах состояний.
Если в именах состояний есть повторяющиеся части,
возможно имеет смысл разбить автомат на несколько.

Пример. Есть список состояний:
1. Работа от сети.
2. Подтверждение отключения сети.
3. Запуск генератора.
4. Подтверждение подключения сети при запуске генератора.
5. Работа от генератора.
6. Подтверждение подключения сети при работе генератора.
7. Аварийное состояние.
8. Подтверждение подключения сети при аварийном состояни.

Видим, что "Подтверждение подключения сети" повторяется 3 раза.
Это сигнал, что имеются сцепленные автоматы.


Алгоритм Как построить конечный автомат

Вложение:
20171030065455.png
20171030065455.png [ 63.08 КБ | Просмотров: 3287 ]


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 4


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2024, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB