MAF. Pacote para computação com autômatos do estado finito
Baixe Agora

MAF. Classificação e resumo

MAF. Tag

calcular estrutura estado finito Computar estrutura automática

MAF. Descrição

Pacote para computação com autômatos do estado finito O MAF é um retrabalho de código aberto e aberto em C ++ do KBMag. Uma biblioteca de pacote e C ++ para computação de estruturas automáticas e sistema de reescrita de confluente para sistemas de reescrita em grupo e coset, e para computação com autômatos do estado finito.Note: estes são os binários para construir 46 do MAF. Os usuários do Mac podem baixar as versões de 32 ou 64 bits. A versão de 32 bits provavelmente funcionará melhor para você, a menos que você tenha pelo menos 6 ou 7 GB de RAM. Você pode precisar modificar seu ambiente para que os executáveis possam localizar corretamente o libmaf.dylib. Aqui estão algumas características principais do "MAF": · Pode calcular estruturas automáticas para qualquer pedido de palavra · Principalmente compatível com o KBMag, incluindo a interface GAP · Inclui muitos utilitários para computação com a FSA · Suporte mais extenso do sistema Coset do que KBMag · Pode calcular e simplificar apresentações do subgrupo Requisitos: · Java. O que há de novo nesta versão: · O desempenho da minimização da FSA foi substancialmente melhorado, de modo que a construção de grandes estruturas automáticas é agora muito mais rápida. · Existe um novo GPCClass de utilidade que cria uma FSA que resolve o problema de conjugação para um grupo finito. · Existem algumas novas opções de linha de comando para autômatos, principalmente conectadas ao uso de sistemas Coset com subgeneradores nomeados para encontrar subgrupos de índice grande, mas finito.

MAF. Software Relacionado