MAF (Monoid Automata Factory)

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos

Uma reformulação em C++ da KBMAG. Um pacote e biblioteca C++ para computação de estruturas automáticas e sistema de reescrita confluente para sistemas de reescrita de grupo e coset, e para computação com autómatos estatais finitos

história da versão

  • Versão files postado em 2010-07-24
    Várias correções e atualizações
  • Versão N/A postado em 2010-07-24

Detalhes do programa