Uma biblioteca Ruby com implementações de conceitos de Linguagens Formais, Teoria dos Autômatos e Modelos de Implementação, baseada no livro LFTMI.