Является ли решаемая проблема генерацией регулярного выражения, которое соответствует некоторому входному набору?

Я предоставляю некоторый набор входных данных, который содержит известное разделенное количество текстовых блоков.

Я хочу создать программу, которая автоматически генерировать 1 или несколько регулярных выражений, каждое из которых соответствует каждому текстовому блоку во входном наборе.

Я вижу несколько относительно простых способов реализации поиска методом перебора. Но я не специалист в теории компиляторов. Вот почему мне любопытно:

1) разрешима ли эта проблема? или есть какая-то принципиальная невозможность сделать такой алгоритм?

2) можно ли достичь полиномиальной сложности для этого алгоритма и избежать грубой силы?