| MAF. Pacote para computação com autômatos do estado finito |
Baixe Agora |
MAF. Classificação e resumo
- Nome do editor:
- Alun Williams
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 851 KB
MAF. Tag
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