CMSimulator

Simulador para máquinas de contagem e gramáticas formais.

O aplicativo CMSimulator ajuda você a entender melhor as quatro máquinas de contagem mais conhecidas - Autômato de Estado Finito, Autômato de Empurrão, Autômato Limitado Linear, Máquina de Turing. Você pode criar novas ou carregar soluções existentes a partir de arquivos. O aplicativo também contém exemplos (para cada tipo de máquina).

Além disso, o aplicativo também ajuda você a entender melhor quatro tipos de gramática formal da hierarquia de Chomsky - Gramática regular, Gramática livre de contexto, Gramática sensível ao contexto, Gramática irrestrita. Você pode criar novas ou carregar soluções existentes a partir de arquivos. O aplicativo também contém exemplos.

Você pode criar uma lista de símbolos, estados, regras de transição e também escolher os estados inicial e final. Então você pode preencher a fita e simular a solução passo a passo, ou ir diretamente para o final da simulação. Você também pode marcar qualquer elemento de fita como ponto de interrupção para pausar a simulação quando a máquina atingir este ponto de interrupção.

Máquinas e soluções não determinísticas também são suportadas.

Você pode definir sua própria gramática, testar palavras se elas pertencerem à gramática definida e visualizar o processo de derivação com 4 tipos diferentes de visualizações - Tabela de derivação, Árvore de derivação, Derivação linear, Derivação fixa. O aplicativo também contém um recurso interativo no qual você pode testar várias palavras ao mesmo tempo.

O aplicativo ainda está em desenvolvimento. Por favor, deixe-me saber se você encontrar algum bug.