Estou tentando elaborar uma taxonomia de algoritmos para transformar expressões regulares em autômatos, a fim de executar alguns testes empíricos de suas propriedades de complexidade em domínios específicos.
Estou ciente de vários nomes 'maiores', por exemplo,
Thompson
"Algoritmo de pesquisa de expressão regular", Thompson, 1968
Glushkov
"Um novo algoritmo quadrático para converter uma expressão regular em um autômato", Ponty, et. al, 1996
Antimirov
"Derivadas parciais de expressões regulares e construções de autômatos finitos", Antimirov, 1996
Segue
"Follow Automata", Ilie, et. al, 2003;
"Computando o autômato a seguir de uma expressão", Champarnaud, et. al, 2002
Hromkovic
"Traduzindo expressões regulares em pequenos autômatos finitos não determinísticos e-livres", Hromkovic, et. al, 2001
e suas propriedades distintivas (isenção de epsilon, determinismo, tamanho, minimização etc.), mas sei que essa não é uma lista exaustiva.
Estou particularmente interessado em algoritmos que apresentam complexidades de tempo significativamente diferentes daquelas listadas acima e / ou topologias significativamente diferentes.
Se você conhece outras pessoas, um link para um artigo que descreve o algoritmo de construção em detalhes seria muito apreciado (leia-se necessário se eu vou implementá-lo!)
Editar: adicionadas algumas referências conforme solicitado.