Я пытаюсь построить конечный автомат и хочу проверить полученную последовательность с помощью регулярного выражения. Мне нужно проверить, соответствует ли последовательность следующей форме: Например: "A,B,C,C,C,C,C,A" -> принимается....

Я знаю, как преобразовать регулярное выражение в FSM, но не совсем уверен, как его изменить. каким будет регулярное выражение для этого примера?

Я работаю над своей магистерской диссертацией, и я новичок в VHDL, но все же мне нужно реализовать некоторые сложные вещи. Это одна из самых простых структур, которую мне приходилось писать, но я все еще сталкиваюсь с некоторыми проблемами. Это...

я люблю fsm, как этот fsm и я написал фрагмент кода для проверки свойства LTL на FSM, это мое свойство LTL G!(r1 & r2) -> (G(!g1 | !g2) & G(r1 -> F(g1)) & G(r2 -> F(g2))) мой код NuSMV MODULE main VAR...