Я хочу написать FSM, который начинается с состояния бездействия и переходит из одного состояния в другое на основе какого-либо события. Я не знаком с кодированием FSM, и Google не помог. Цените, если
Существует ли общее доказательство эквивалентности двух (детерминированных) машин конечного состояния, которые всегда занимают конечное время? То есть, учитывая два FSM, можете ли вы доказать, что при
Я использую иерархический FSM для встроенного прикладного интерфейса C++. Я хотел бы использовать небольшие функции, чтобы определить, могут ли быть инициированы некоторые межгосударственные события,