Este é o comando isofilter2 que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
isofiltro - remove estruturas isomórficas de mace4(1) modelos
SINOPSE
isofiltro [opções] Arquivo de entrada > arquivo de saída
isofiltro0 [opções] Arquivo de entrada > arquivo de saída
isofiltro2 [opções] Arquivo de entrada > arquivo de saída
DESCRIÇÃO
Esta página de manual documenta resumidamente o isofiltro, isofiltro0 e isofiltro2 comandos.
If mace4(1) produz mais de uma estrutura, algumas delas são muito prováveis de ser
isomórfico a outros. O programa isofiltro pode ser usado para remover estruturas isomórficas.
ALGORITMO
Existem múltiplos isofiltro variantes que fornecem algoritmos alternativos.
isofiltro
Usa o algoritmo de Perfis de Ocorrência.
isofiltro2
Usa o algoritmo de Formas Canônicas.
OPÇÕES
Um resumo das opções está incluído abaixo.
ignore_constantes
Ignore todas as constantes durante os testes de isomorfismo.
verificar
Considere apenas os listados operações nos testes de isomorfismo.
saída
Produza apenas o listado operações.
embrulho Coloque as estruturas resultantes em lista (interpretações). ... fim_da_lista.
Use isofilter2 online usando serviços onworks.net