caxapa.ru :: FSM как матаппарат повсеместно применяется в компиляторах и парсерах. Скажем при каждой компиляции ядра линукса там попутно находу генерится на C-и, а потом компилируется в exe специальная стэйт-машина для парсинга и переконвертации неких исходников.

AlexandrY (13.06.2009 16:53, просмотров: 538) ответил Evgeny_CD на Приведение всего к FSM - это слишком кардинально даже для меня :) Никто и не думает, чтобы отметить остальные методики. Туже многозадачность и пр. Вопрос в том, чтобы был инструмент, который можно использовать по мере необходимости.

FSM как матаппарат повсеместно применяется в компиляторах и парсерах. Скажем при каждой компиляции ядра линукса там попутно находу генерится на C-и, а потом компилируется в exe специальная стэйт-машина для парсинга и переконвертации неких исходников. Вот там FSM уместен. А программисты не должны заниматься FSM, FSM должны генериться автоматом если они нужны из функциональных моделей. Программисты должны создавать функциональные модели допускающие неопределенности. Как всегда пример показывает Микрософт: http://www.gotdotn …u/Channel9/514763.aspx В роботик-студио создаются именно функциональные модели как наиболее близкие человеческому мышлению.

INDEMSYS

Ответить

- Видео показательное. Без передергивания батарейки в роботе и тут не обошлось :) - she(13.06.2009 21:07)
  - Однако этот робот-пылесос бегает, чета ищет, даже борется с другим роботом и все написано без всяких идиотских стейт машин. AlexandrY(415 знак., 13.06.2009 22:44)
    - Стейт машины - один из инструментов. Хорошо, когда он есть. Плохо, когда его используют не по назначению. Сама теория автоматов велика и могуча, вопрос как всегда в том, что пока не придумали, как ее обернуть в простые и понятные формы. Заслуга Шалыто и Evgeny_CD(429 знак., 13.06.2009 22:51)
      - Генератор нафиг не нужен. Невозможно всё сделать на автоматах, равно как и сложно обойтись без. Там где нужно -- рисуется на бумажке и кодируется по технологии приближенной к технологии им. Шалыто. Это из практики. - fk0(16.06.2009 12:58)
        
        Нужен-нужен. Иначе это технология write only. А хотелось бы иметь ремонтнопригодность. - =AlexD=(16.06.2009 16:53)
        
        write-only лечится документацией (в т.ч. и на ватмане A1). Кроме того, очень даже прекрасно и read получается по исходникам, просто писать код нормально нужно, без хакирства. - fk0(16.06.2009 17:21)
        
        Речь идёт о том как облегчить работу, а не о том как нажить геморрой. - =AlexD=(16.06.2009 20:14)
        
        Работающий код написанный "генератором" -- я ещё ни разу в жизни не видел. Код "с геморроем" -- везде вокруг. Фантастика, ага? - fk0(17.06.2009 12:50)
        
        Если бы были нормальные генераторы, не было бы этой темы. =AlexD=(80 знак., 17.06.2009 13:10)
      - Для реальных стейт-машин нужна полная определенность входных воздействий и полная определенность свойств исполняющего движка. AlexandrY(377 знак., 13.06.2009 23:10)
        
        Эта проблема была давно решена при проектировании схем, где тоже возможны непонятно какие задержки. И придумали - синхронизация и RTL. Так и тут - есть синхронные автоматы. Но в открытой печати об этом мало - говорят, NASA на них новое поколение Evgeny_CD(803 знак., 13.06.2009 23:39)

Средства и методы разработки