Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Prepara tus exámenes con los documentos que comparten otros estudiantes como tú en Docsity
Los mejores documentos en venta realizados por estudiantes que han terminado sus estudios
Estudia con lecciones y exámenes resueltos basados en los programas académicos de las mejores universidades
Responde a preguntas de exámenes reales y pon a prueba tu preparación
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Comunidad
Pide ayuda a la comunidad y resuelve tus dudas de estudio
Descubre las mejores universidades de tu país según los usuarios de Docsity
Ebooks gratuitos
Descarga nuestras guías gratuitas sobre técnicas de estudio, métodos para controlar la ansiedad y consejos para la tesis preparadas por los tutores de Docsity
Este glosario proporciona una descripción detallada de los conceptos clave relacionados con los lenguajes y autómatas, incluyendo definiciones, ejemplos y diagramas. Es una herramienta útil para estudiantes de informática que buscan comprender los fundamentos de la teoría de autómatas y su aplicación en el diseño de lenguajes de programación.
Tipo: Resúmenes
1 / 6
Esta página no es visible en la vista previa
¡No te pierdas las partes importantes!
Jesus David Chan Canul.(22070032)
Jose Leonel Pech May.
Lenguajes Automatas.
Glosario
Concept Description Example / Image Finite Automaton Abstract machine that processes strings of symbols and decides whether to accept or reject them. Deterministic Finite Automata (DFA) Automaton where each state has a unique transition for each symbol. Nondeterministic Finite Automaton (NFA) Automaton that can have multiple transitions for each symbol or empty transitions. Initial State Initial state where the automaton begins execution.
Epsilon Closing Set of states reachable without consuming symbols (empty transitions). Unreachable State State that cannot be reached from the initial state. State Diagram Graphical representation of the states and transitions of the automaton. Trap Status State where all transitions lead to the same state. Transitions Diagram Ensures that a DFA has a defined transition for each symbol in each state. Accepted Strings Visual map of how the automaton reaches an accepting state. Set of States Set of sequences that
lead the automaton to an accepting state. Conjunto de Estados Set of all possible states in an automaton. Rejection Status State where the automaton ends without accepting the string. Initial State (Start State) State where the automaton starts processing the string. Nondeterministic Finite Automaton with Epsilon Motions (ε-NFA) Extension of the NFA that allows empty transitions (epsilon), enabling state changes without consuming a symbol from the string.
