Учитывая регулярное выражение, я хочу создать набор строк, которым будет соответствовать это регулярное выражение. Важно отметить, что этот набор не будет бесконечным, потому что будет максимальная длина для каждой строки. Существуют ли хорошо известные алгоритмы для этого? Могу ли я прочитать какие-либо исследовательские работы, чтобы понять эту проблему?
Спасибо.
p.s. Будет ли такой вопрос более подходящим для теоретического обмена стеками cs?