Biblioteca Java para processamento de automatos finitos determininsticos da itexto.