Biblioteca interessante para autômatos finitos, incluindo operações (além das triviais) e visualização: https://github.com/rohaquinlop/automathon