Владислав!
Я не спрашивал, можно ли нарисовать конечный автомат. Я спрашивал, можно ли нарисовать конечный автомат
нагляднее Дмитрий!
Дык и я отвечал на второй вопрос.
В том ключе, что, если переходы КА полны и непротиворечивы - то импер-граф-схему (т.е. операционную графическую модель) и сделать несложно, и она (IMHO) по крайней мере, не потеряет в наглядности. Хотя второе, наверное, так же субъективно (точнее, обусловлено типом мышления), как и предпочтение "графика-текст"...
Но. Схема-то указанная и граф-, и импер-,... и даже выводима "по шампуру"... да не силуэт...
Видимо, Вы это имели в виду (что может ли быть нагляднее и проверяемее, чем КА-граф, не вообще шампур-схема, а именно какой-нибудь силуэт)?
В целом же если рассматривать - то allbobin уже сказал - силуэт возможен для представления каких-то частных случаев КА. У меня же мнение, что всё-таки ЦД-алгоритм (и дейкстрал как его графит-запись) - там ни внешнего цикла не надо, ни goto...
Но что м.б. важнее всего и для эргономики (той, которая учитывает необходимость через форму лучше передавать содержание - опираясь не только на лёгкость восприятия, но и на понятийную структуру "предметки"), и для доказательности - ЦД-алгоритм "вытаскивает" в "шапку" схемы проверку реального набора величин. В чисто автоматном программировании это обычно номера состояний. Но можно и "предметные" величины в ЦД-охраны поставить (тока это немного другой подход будет, наверное)...
...
Владислав Жаринов писал(а):
Вообще-то имеет смысл, чтобы ДРАКОН-инструмент с этим и разбирался...
Т.е. ретранслировал XML в ДРАКОН-Х-схему/модель. Опять же для языка Х (= Java или C++ в случае UniMod) нужно гибрид определить... Так ведь?
Истинно так!
Владислав Жаринов писал(а):
Тут вопрос можно и иначе поставить - а зачем нам здесь ДРАКОН, если делаем точно по автоматной спецификации Х-программу?
Заметьте - не я это предложил! Развиваться нужно, чтобы не остаться в стороне от технического прогресса.
Вот, кстати, блог, указанный
здесь, показывает, что и не обязательно с XML нужно будет дело иметь... и не обязательно императивный язык визуализировать...
Возможно, и такое развитие Вы имели в виду?.. Или пока будем определять гибрид с императивным ("КАК-") языком (учитывая также область применения - см. хотя бы здесь:
viewtopic.php?p=68442#p68442)? С каким Вы бы предложили (учитывая возможные "подводные камни"...)?