Modelo Autômato

Jiuney Pachevitch
Símbolo
Class Simbolo
Private
string simbolo;
Public
Simbolo(string Simbolo);
void setSimbolo(String simbolo);
String getSimbolo();
Alfabeto
Class Alfabeto
Private
List<Simbolo> simbolos;
Public
Alfabeto();
void add(String simbolo);
List getAlfabeto();
Simbolo getSimbolo(int i);
void mostraAlfabeto();
void leAlfabeto(String NomeArquivo);
Simbolo pesquisar(String simbolo);
Estado
Class Estado
Private
String rotulo;
boolean estadoInicial;
boolean estadoFinal;
Public
Estado(String rotulo, boolean estadoInicial,
boolean estadoFinal);
void setRotulo(String rotulo);
void setEstadoInicial(boolean estadoInicial);
void setEstadoFinal(boolean estadoFinal);
String getRotulo();
boolean getEstadoInicial();
boolean getEstadoFinal()
Estados
Class Estados
Private
List <Estado> estados;
Public
Estados();
void add(String rotulo, boolean estadoInicial,
boolean estadoFinal);
List getEstados();
Estado getEstado(int i);
void mostraEstados();
void leEstados(String NomeArquivo);
Estado pesquisar(String Rotulo);
RegraTransicao
Class RegraTransicao
Private
Estado estadoAtual;
Simbolo simbolo;
Estado estadoSeguinte;
Public
RegraTransicao(Estado estadoAtual, Simbolo simbolo,
Estado EstadoSeguinte);
void setEstadoAtual(Estado estadoAtual);
void setSimbolo(Simbolo simbolo);
void setEstadoSeguinte(Estado estadoSeguinte);
Estado getEstadoAtual();
Simbolo getSimbolo();
Estado getEstadoSeguinte();
Transicoes
Class Transicoes
Private
Estados estados;
Alfabeto alfabeto;
Estado estadoAtual;
List <RegraTransicao> transicoes;
void encontraEstadoInicial();
void add(String estadoInicial, String simbolo, String
estadoDestino);
void leTransicoes(String NomeArquivo);
Transicoes
Class Transicoes

Public
Transicoes(String arquivoAlfabeto, String
arquivoEstados, String arquivoTransicoes);
List getTransicoes();
RegraTransicao getTransicao(int i);
void mostraTransicoes();
void realizaTransicao(String simbolo);
Estado verificaAceitacao();
TransicoesN
Class Transicoes
Private
Estados estados;
Alfabeto alfabeto;
List <Estado> estadoAtual;
List <RegraTransicao> transicoes;
void encontraEstadoInicial();
void add(String estadoInicial, String simbolo, String
estadoDestino);
void leTransicoes(String NomeArquivo);
TransicoesN
Class Transicoes

Public
Transicoes(String arquivoAlfabeto, String
arquivoEstados, String arquivoTransicoes);
List getTransicoes();
RegraTransicao getTransicao(int i);
void mostraTransicoes();
void realizaTransicao(String simbolo);
Estado verificaAceitacao();
main
No método main tem-se apenas um objeto para a classe
Transições e no construtor é passado todos os caminhos
para os arquivos onde estão o alfabeto, os estados e as
transições.
Lê-se a entrada e chama o método realizaTransição
passando o símbolo lido como parâmetro.

Ao final da entrada, usando o método verificaAceitacao

pode-se sinalizar se a entrada foi aceita ou não.