надеюсь, что все в порядке
я применил "алгоритм обхода / исключения состояния" для этого DFA
после его решения .. я извлек это RE, возможно, он выглядел каким-точто-то вроде грязного, но да, вы можете проверить это, протестировав другую строку. здесь это
1*+ (1*0(1)*0(0)*1).((01*0+1).(1)*(0(0)*1))*.0