caxapa.ru :: Для этого предполагатся, что все события могут возникать строго последовательно, и никакой гонки уже быть не может. Порядок возникновения событий во времени придётся сохранить. И вообще не понятно, что мешает автомату самостоятельно проверить

fk0^{легенда} (01.08.2013 14:50, просмотров: 765) ответил Скрипач на Не так. Модель конечного автомата:

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

[ZX]

Ответить

- "Приказом по предприятию запретить отказы и выход из строя оборудования КИПиА" :))) Это к попыткам принять в размышлениях возможность влиять на поток событий. - Cкpипaч^пророк(01.08.2013 15:34)
  - Можно предположить, что все события не одновременны, а разделены минимальным квантом времени, большим нуля (планковское время, например). Тогда не возникает неоднозначности, если события обрабатываются строго последовательно, в порядке их fk0^{легенда}(281 знак., 01.08.2013 16:09)
    - Лучше разделить их символом табуляции. - Cкpипaч^пророк(01.08.2013 17:04)
- События и входные сигналы это вообще разные сущности. Бывают события, которые вообще невозможно зарегистрировать опросом. А есть входные сигналы, которые не инициируют сами по себе изменение состояния автомата, но могут влиять на переходные =AlexD=(45 знак., 01.08.2013 14:57)
  - Подразумевалось, что (изменение) входных сигналов вызывают события. - fk0^{легенда}(01.08.2013 16:10)
    - это узкий частный случай - =AlexD=(01.08.2013 21:00)
    - +1 - Vit(01.08.2013 16:32)
  - Не у Скрипача: "по Шатыло" и "не по Шатыло". Можно делать сколь угодно сложно-комбинированные системы, нельзя скомбинировать только наличие методики и ее отсутствие :) - Cкpипaч^пророк(01.08.2013 15:36 - 15:38)
    - Методика Шалыто вполне полная. А вот у вас как раз отсутствие методики. Когда не только программы пишутся программистом по наитию, но точно также выдумывается из головы алгоритм управления, зачастую противоречивый и не полный. Автоматы нужны в fk0^{легенда}(273 знак., 01.08.2013 16:14)
      - Не смущает. Cкpипaч^пророк(250 знак., 01.08.2013 16:53)
        
        У Шалыто оно уже event driven -- автомат получает события как аргумент функции. И менять ничего-то не нужно. Если речь про то, что при вычислении условий перехода вызываются какие-либо функции (`x') и проверяют входы, например, то ничто не мешат fk0^{легенда}(680 знак., 01.08.2013 17:42)
        
        То, что "вы" называете "event driven" нечто полностью этому противоположное. Цитата: "факт события использовать только для запуска автомата, в котором уже игнорировать событие и проанализировать входы напрямую". Cкpипaч^пророк(238 знак., 01.08.2013 18:39)
        
        Пример события из ОС: поступили данные в сокет (проявляется в WaitForMultipleEvents() или в select()). Но какие данные -- не узнаешь, пока не прочитаешь. Также и здесь. И таки да, у всех всё работает, кроме Скрипача, который несёт какую-то чушь fk0^{легенда}(697 знак., 01.08.2013 22:28, ссылка)
        
        И где это я говорю об "одновременности"? Если сами с собой разговариваете, то хотябы на меня не ссылайтесь, бля. - Cкpипaч^пророк(01.08.2013 23:02)
        
        перечитывая классиков:) забил:) - Vit(02.08.2013 00:16, ссылка)
        
        По ссылке даже слово "одновременно" нету. Cкpипaч^пророк(490 знак., 02.08.2013 08:38)
        
        Сахар лежит в баночке из-под кофе, на которой написано "соль"(С) - Vit(02.08.2013 08:42)
        
        в кононичЬной:) Vit(153 знак., 01.08.2013 21:50)

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