• Author / Uploaded
• Kevin Zelada

• Categories
• Tipo de datos booleanos
• Lógica matemática
• Ciencias de la Computación
• Metalogica
• Matemáticas discretas

Citation preview

package Lenguaje.Formal.AFND2AFD.Modelo; import java.util.*; public class Automa ta { private private private private private private private String Nombre; int numEstados; int EstadoInicial; int EstadoActual; TreeSet Alfabeto; TreeS et estadoFinal; TreeSet[][] TablaTransiciones; public Automata() { super(); Alfabeto = new TreeSet(); estadoFinal = new TreeSet(); } public Automata(String nombre, int nEstados, TreeSet alfabeto, int q0, TreeSet qend, TreeSet[][] tablaTransicio nes) { super(); Nombre = nombre; this.numEstados = nEstados; Alfabeto = alfabeto ; this.EstadoInicial = q0; estadoFinal = qend; TablaTransiciones = tablaTransici ones; } public String getNombre() { return Nombre; } public void setNombre(Strin g nombre) { Nombre = nombre; } public int getnumEstados() { return numEstados; } public void setnumEstados(int nEstados) { this.numEstados = nEstados; } public TreeSet getAlfabeto() { return Alfabeto; } public void setAlfabeto(TreeS et alfabeto) { Alfabeto = alfabeto; } public int getEstadoInicial() { re turn EstadoInicial; }

public void setEstadoInicial(int q0) { this.EstadoInicial = q0; } public TreeSet getestadoFinal() { return estadoFinal; } public void setestadoFinal(Tr eeSet qend) { estadoFinal = qend; } public TreeSet[][] getTabl aTransiciones() { return TablaTransiciones; } public void setTablaTransiciones(T reeSet[][] tablaTransiciones) { TablaTransiciones = tablaTransiciones; } public void addEstadoFinal(int q) { estadoFinal.add(q); } public int getEstado Actual() { return EstadoActual; } @SuppressWarnings("unchecked") public void add LetraAlfabeto(String letra) { Alfabeto.add(letra); TablaTransiciones = new TreeS et[numEstados][Alfabeto.size()]; iniciarTablaTransiciones(); } private void inic iarTablaTransiciones() { for(int x=0;x