COMPARTE ESTE ARTÍCULO

Este código en C++ implementa un simulador de autómatas finitos. Un autómata finito es un modelo matemático usado en la teoría de lenguajes formales que permite reconocer si una cadena pertenece a un lenguaje regular. A continuación, vamos a detallar el funcionamiento de cada parte del código.

1. Definición de la clase `Automaton`

La clase Automaton encapsula toda la lógica para representar y simular un autómata finito. Contiene variables para almacenar el alfabeto, el conjunto de estados, las transiciones entre estados, y los estados de aceptación.

Atributos privados de la clase:

std::set<char> alphabet: Un conjunto que contiene los símbolos que forman parte del alfabeto del autómata.
int numStates: El número total de estados que tiene el autómata.
int initialState: El estado inicial en el que comienza el autómata.
std::set<int> acceptingStates: Un conjunto que almacena los estados de aceptación.
std::map<int, std::map<char, int>> transitions: Un mapa que define las transiciones entre los estados, donde para cada estado se asocia un símbolo de entrada con un estado de destino.

Métodos públicos de la clase:

1.1. Método `bool loadAutomaton(const std::string& filename)`

Este método se encarga de cargar las especificaciones del autómata desde un archivo de texto.

Abrir el archivo: Primero, intenta abrir el archivo cuyo nombre es pasado como parámetro. Si no se puede abrir, imprime un mensaje de error y devuelve false.
Leer el alfabeto: Lee la primera línea del archivo, que contiene los símbolos del alfabeto separados por espacios. Utiliza un flujo de entrada istringstream para leer los símbolos y agregarlos al conjunto alphabet.
Leer el número de estados y el estado inicial: En las siguientes líneas del archivo, se obtiene el número total de estados del autómata y el estado inicial.
Leer los estados y transiciones: Para cada estado, el método:

Verifica si es un estado de aceptación (1 si es de aceptación, 0 si no lo es) y lo agrega al conjunto acceptingStates si corresponde.
Lee el número de transiciones que tiene el estado.
Para cada transición, lee el símbolo de entrada y el estado de destino, agregándolos al mapa de transiciones.

El método retorna true si el archivo se carga correctamente.

1.2. Método `bool isAccepted(const std::string& input)`

Este método simula el comportamiento del autómata para una cadena de entrada y determina si es aceptada o rechazada.

Inicialización: Comienza en el estado inicial del autómata.
Procesamiento de cada símbolo:

Recorre cada símbolo de la cadena de entrada. Verifica si el símbolo pertenece al alfabeto, si no es así, muestra un mensaje de error y retorna false.
Luego verifica si existe una transición desde el estado actual con ese símbolo. Si no hay una transición válida, retorna false.
Si hay una transición válida, el autómata se mueve al estado de destino correspondiente a ese símbolo.

Verificación del estado final: Después de procesar toda la cadena, verifica si el estado en el que terminó es un estado de aceptación. Si lo es, retorna true, indicando que la cadena fue aceptada; de lo contrario, retorna false.

2. Función `main`

La función principal se encarga de orquestar la ejecución del simulador. Los pasos son los siguientes:

Verificación de los argumentos: Si no se proporcionan los archivos correctos (el archivo del autómata y el archivo de las cadenas de entrada), se muestra un mensaje de uso adecuado del programa y se termina la ejecución.
Cargar el autómata: Se crea un objeto de la clase Automaton y se llama al método loadAutomaton() para cargar el autómata desde el archivo .fa. Si no se puede cargar, el programa termina con un código de error.
Leer las cadenas de entrada: Se abre el archivo que contiene las cadenas de entrada. Cada línea de este archivo es una cadena que debe ser evaluada por el autómata.
Procesar cada cadena:

Para cada cadena, se llama al método isAccepted() del autómata.
Se imprime si la cadena es “Accepted” o “Rejected” en función del resultado del método isAccepted().

3. Ejemplo de ejecución

Supongamos que tenemos un archivo input.fa con el siguiente contenido:

0 1
4
0
0 0 2 0 2 1 1
1 1 2 0 1 1 1
2 0 2 0 1 1 3
3 0 2 0 2 1 3

Y un archivo input.txt con las cadenas:

El simulador procesaría cada cadena en el archivo input.txt y mostraría si son aceptadas o rechazadas por el autómata definido en input.fa.

Conclusión

Este código permite simular el comportamiento de un autómata finito. A través de la clase Automaton, es capaz de cargar un autómata desde un archivo, procesar cadenas de entrada y determinar si son aceptadas o rechazadas en función de las transiciones definidas. La estructura del código sigue buenas prácticas de programación, utilizando estructuras estándar de C++ como std::set y std::map para manejar los estados y las transiciones de manera eficiente.

    
 
 
         
   Maria Del Carmen Hernandez Herrera 
 
 
 
  Contacte con Alejandro por recomendación de una compañera de trabajo a la cuál ayudó mucho en la preparación de unos exámenes muy complicados . La física y química para mi hija en este curso estaba siendo muy complicada, tanto es así ,que suspendió la primera evaluación y ella no había suspendido nunca, desde que acude a sus clases hay un antes y un después ...... Alejandro con su manera de explicar ha conseguido que las entienda , que pueda desarrollar los problemas que tenga confianza en sí misma....tanto es así que ha aprobado todos los exámenes....Paula está súper contenta y yo más!!!! Siempre que tengo alguna duda o que necesito modificar un horario responden super pronto y buscan solución motivo por el cuál recomiendo al 100% está academia. Muchas gracias por su ayuda.
  
 
        
   Arianna Del Campo Martín 
 
 
 
  Yo soy estudiante universitaria, muy finalista y que llegó a la academia con prácticamente cero base… Finalmente aprobé mi examen! Aquí de una manera diferente a lo que convencionalmente se espera de los profes, me enseñaron, muy cercanamente lo que me proporcionó confianza para no callarme las dudas y preguntar todo el tiempo. Me sorprendió que el profe que me dio clases en particular era como una enciclopedia andante, sin necesidad de mirar los libros me decía fórmulas de memoria que son difíciles de entender hasta con ellas delante. Recomiendo 100%
  
 
        
   Ariana García Esquivel 
 
 
 
  No he dudado ni por un segundo que haber asistido a las clases con Alejandro es lo mejor que me ha pasado… No solamente te apoya académicamente, sino que apoya al alumno a pesar de sus dificultades, y a mí me ha estado ayudando muchísimo y en mis peores momentos. Mil gracias por tus consejos, por siempre darme ánimos, por ser tan simpático que alegras las clases aburridas y por ser un profe tan bueno, son de estas personas que nunca olvidas.❤️👏🏻 También he de decir que Raúl, el otro profesor que se encuentra en la academia…es una persona que se preocupa por el alumno a que haga las cosas bien, con tranquilidad, está siempre pendiente a ti, tiene mucha paciencia, dedica a dar sus clases lo más dinámico posible, tiene mucha amabilidad con las personas, en definitiva… tengo a los dos mejores profesores del mundo, se os quiere mucho💓✨.
  
 
        
   Another Weasley. 
 
 
 
  He tenido muchos profes, y muchos particulares, pero como Alejandro ninguno, de verdad, me hace pensar que de verdad no soy tan mala en lo mío 🥺 me apoya muchísimo y me ayuda en todo lo que pueda con mi carrera, es un profesor 10 y una persona sobretodo 10000 Gracias Ale por preocuparte por tus alumnos, por intentar que estén motivados, que las clases sean entretenidas, y lo bien y fácil que explicas !  Para mi, LOS MEJORES 💖 -alba
  
 
        
   yarel febles 
 
 
 
  He entrado a la carrera de enfermería gracias a Alejandro, sin duda estoy súper contento con mi paso por aquí :)
  
 
        
   Ana Carina Benta 
 
 
 
  Gracias por el ambiente familiar
Gracias por la paciencia
Gracias por la enseñanza
Gracias por el apoyo
Gracias por la Motivación!!

Simplesmente Gracias!!

Recomendable 1000%
  
 
        
   Yanet Palacio valdes 
 
 
 
  Desde hace un tiempo mi hijo asiste a la academia, pensabamos no sacaba la eso y hoy con orgullo se gradúa de 4to de la eso,muy agradecida por los profesores,sobre todo su profe Alejando persona entrañable,justo, para el todo nuestro agradecimiento..⭐⭐⭐👌👌
  
 
        
   Mabett Duque 
 
 
 
  ¡De lo bueno lo mejor, y de lo mejor lo superior!
  
 
  
 
  
 
   La evaluación general en Google es 4.4 de 5, en base a 27 reseñas

¿QUÉ TE HA PARECIDO EL ARTÍCULO? Danos tu opinión al final de la página.
Deja tu comentario y ayúdanos a crecer.

¡SÍGUENOS EN TUS REDES FAVORITAS!
AYUDANOS A CRECER Y QUE LLEGUEMOS A TODAS LAS PERSONAS QUE NOS NECESITANA. SÍGUENOS EN TUS REDES.
Entra AQUÍ y elíge donde seguirnos.

Solicita más información