Регулярное выражение данных автоматов - PullRequest
0 голосов
/ 03 декабря 2018

enter image description here

Может кто-нибудь помочь мне найти регулярное выражение для заданных автоматов?Я знаю основные этапы поиска, но в этом вопросе я застрял, потому что в этом случае начальное и конечное состояния одинаковы, а также это два параллельных цикла.Я попробовал это, применяя основные правила для нахождения регулярного выражения, но после некоторых шагов я застрял.Пожалуйста, помогите мне в решении этого.Новый подход к поиску будет оценен.Спасибо!!

1 Ответ

0 голосов
/ 04 марта 2019

надеюсь, что все в порядке

я применил "алгоритм обхода / исключения состояния" для этого DFA

после его решения .. я извлек это RE, возможно, он выглядел каким-точто-то вроде грязного, но да, вы можете проверить это, протестировав другую строку. здесь это

            1*+ (1*0(1)*0(0)*1).((01*0+1).(1)*(0(0)*1))*.0
...