Создание всех возможных совпадений регулярного выражения

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

Спасибо.

p.s. Будет ли такой вопрос более подходящим для теоретического обмена стеками cs?