Скрипач, пророк (01.08.2013 15:34, просмотров: 657) ответил fk0 на Для этого предполагатся, что все события могут возникать строго последовательно, и никакой гонки уже быть не может. Порядок возникновения событий во времени придётся сохранить. И вообще не понятно, что мешает автомату самостоятельно проверить... но не любой ценой.
-
- Можно предположить, что все события не одновременны, а разделены минимальным квантом времени, большим нуля (планковское время, например). Тогда не возникает неоднозначности, если события обрабатываются строго последовательно, в порядке их fk0(281 знак., 01.08.2013 16:09)
- Лучше разделить их символом табуляции. - Скрипач(01.08.2013 17:04)
- Можно предположить, что все события не одновременны, а разделены минимальным квантом времени, большим нуля (планковское время, например). Тогда не возникает неоднозначности, если события обрабатываются строго последовательно, в порядке их fk0(281 знак., 01.08.2013 16:09)