Я изучаю теорию CS самостоятельно, и я пытался решить жесткое доказательство.Регулярное выражение равной длины для разворота языка
Исходная задача определена в формальных терминах здесь:
В принципе, я должен доказать, что следующее: учитывая некоторое регулярное выражение для языка, вы можете всегда иметь регулярное выражение равной длины для обратном этому языку.
У меня нет проблем с доказательством того, что регулярные языки закрываются при развороте, но ограничение длины делает его намного сложнее. Пожалуйста, помогите мне, если вы можете, спасибо!