есть ли какой-нибудь компилятор, который может преобразовать регулярное выражение в fsm? или может преобразовать в человеческие слова?

Что-то, что может конвертировать

r"a+|(?:ab+c)"

в

{
    (1, 'a') : [2, 3],
    (2, 'a') : [2],
    (3, 'b') : [4, 3],
    (4, 'c') : [5]
}

или что-то подобное

и принимающее в 2 или 5