Я не могу понять ни один из этих текстов о составе автоматов ввода-вывода. Текст itali c - это отрывок из эссе.
Новый автомат ввода-вывода может быть создан путем составления набора совместимых автоматов ввода-вывода. Следует ли понимать композицию как композицию функций, т.е. как последовательное расположение автоматов, или это может быть любая сеть?
Набор автоматов совместим, если они не имеют общего вывода или внутренние события. Почему совместное использование этих событий может быть проблемой? В чем заключается идея?
Состояние составного автомата S - это набор состояний компонентов, а начальное состояние - это набор начальных состояний компонентов. Набор событий S, Events (S), представляет собой объединение наборов событий компонентов. Набор выходных событий S, Out (S), является объединением наборов выходных событий компонентов; набор внутренних событий Int (S) - это объединение наборов внутренних событий компонентов; Почему объединение - это путь к go? Разве декартово произведение не имело бы большего смысла?
и набор входных событий S, In (S), равен In (S) - Out (S), все входные события of S, которые не являются выходными событиями для некоторого компонента. Прежде всего, это кажется подозрительным, поскольку In (S) = In (S) -Out (S) не является математическим уравнением. Я предполагаю, что это должно быть недооценено, поскольку In (S) = Union (In (S_i)) - Out (S); однако почему бы не разрешить Out (S) в качестве входа?