DFAdesigner

Tutorial de uso do DFAdesigner

Para utilizar o Construtor de Autômatos Finitos Determinísticos, basta realizar as seguintes ações descritas a seguir:

Adicionar Estados

Para adicionar um estado no seu autômato, basta clicar duas vezes na área livre do construtor.

A seguir você poderá nomear este estado. Ou a qualquer outro momento, basta somente selecioná-lo com um clique único assim ele ficará azul indicando que está selecionado.

Mover um Estado

Para mover de posição um estado, basta segurar o clique do mouse sobre ele e arrasta para o local desejado.

Tornar um Estado em Aceitação

Para tornar qualquer estado em estado de aceitação, basta dois cliques sobre ele . Dois cliques novamente o retornará ao estado de não aceitação.

Adicionar uma Transição entre dois Estados

Para adiciona uma transição entre dois estados, basta manter pressionada a tecla Shift e com o mouse clicar sobre o primeiro estado, e mantendo pressionado, arraste para o segundo estado para obtendo uma transição.

Adicionar uma Transição para o mesmo Estado

Para adicionar uma transição para o mesmo estado, basta manter pressionado a tecla Shift e clicar no estado e arrastar para ele mesmo e soltar.

Definir o Estado Inicial

Para definir um estado inicial, basta com a tecla Shift pressionada, clicar em uma área em branco e arrastar para o estado escolhido. Não se faz necessário nomear esta transição.

Mover e atribuir símbolo a Transição

Basta selecionar uma transição qualquer , e com o mouse segurar e arrastar , largando após escolher a posição desejada.

Ao selecionar uma transição é possível atribuir um símbolo (ou mais, separando-os por uma vírgula ",") do alfabeto \( \Sigma \) pertinente a Questão, simplesmente a teclando.

Deletar um Estado ou Transição

Para deletar um estado, basta selecioná-lo com um clique e pressionar a tecla Delete para apaga-lo.

Para deletar uma transição, basta selecioná-la com um clique e pressionar a tecla Delete para apaga-la.

Salvar e Submeter

Você pode salvar sua resposta como rascunho , se não quiser entregar naquele momento. Ou submeter sua resposta ao corretor, para que seja avaliada. Mas fique atento a data limite de entrega!

Palavra Dica

Se você errar sua resposta, o corretor lhe fornecerá uma palavra dica, em que ela demonstrará o erro por você cometido. Haverá sempre a possibilidade de submeter novamente uma nova resposta, se ainda dentro da data de limite de entrega.

Erro na construção do autômato

Se houver algum erro na construção do seu autômato resposta, o sistema lhe avisará, listando os erros cometidos a respeito da construção e impossibilitando a submissão para julgamento até a correta construção.

Mas o salvamento como rascunho poderá ser ainda utilizado.