Convertendo expressão regular em máquina de estados finitos

Você teria uma sugestão no algoritmo para converter qualquer expressão regular em uma máquina de estados finitos? Por exemplo, um algoritmo que analisa um regexp e adiciona estados ao fsm apropriadamente? Alguma referência ou ideia mais profunda?

Eu estou escrevendo isso com Python

Obrigado e cumprimentos