UNIVERSIDAD POLITÉCNICA DE PACHUCA

Ing. en Software
Materia: Lenguajes y Autómatas

Nombre del Alumno: Cuatrim/Gpo: 7-

Jorge Ángel Díaz Mera ID: 1831116097

Indicaciones:
Utilizando un mapa cognitivo de cajas, destacar los siguientes temas:

● Autómata Finito nombrar:

o Concepto
o Características de la representación estructural
o Características de las patologías de los programas concurrentes
● Autómata Finito Determinista mencionar:
o Concepto y función de transición
o Proceso de generación de funciones de transición
o Características del lenguaje de DFA.
o Proceso de elaboración de propuestas de solución a problemas en la programación
● Autómata No Determinista escribir:
o Concepto
o Proceso de generación de funciones de transición extendidas
o Características del lenguaje de NFA.
● Máquina de Turing (TM) anotar:
o Concepto de tira de cinta de símbolos
o Características de una cinta.
o Funciones de una cinta
o Estructura de la TM de cinta: cabezal, cinta, registro de estado y tabla de acción
 Autómatas
Finito Finito determinista No determinista Máquina de Turing

-Son modelos -El término -A diferencia de un -Una tira de cinta de

matemáticos determinista se AFD, un AFN devuelve símbolos, la cual es
computacionales que, adjudica a este tipo de un conjunto de una cinta dividida en
mediante estados y autómata finito ya que estados en la función casillas, donde cada
transiciones, para cada estado q y de transición, a una puede contener
proporcionan una cada símbolo del comparación de un un símbolo del
respuesta a las alfabeto, la función de AFD que devuelve uno alfabeto de entrada; al
entradas. De otra transición siempre sólo. conjunto de dichos
forma, son máquinas está definida. -Una función de símbolos se le conoce
abstractas que -Una función de ෠
transición extendida δ, como cadena de
procesan cadenas de transición indica el se diferencía por entrada; además,
entrada, las cuales son estado al cual pasal el contar con un puede contener
aceptadas o control finito conjunto de estados espacios en blanco, los
rechazadas. dependiendo del de salida, donde para cuales no pertenecen a
-Un autómata es una símbolo escaneado y calcularlo, primero la cadena de entrada. -
quíntupla compuesta el valor actual. En debemos de obtener -La cinta, se extiende
por un conjunto de otros términos la unión de cada uno infinitamente hacia
estados 𝑄, un alfabeto δ 𝑞1, 𝑠 = 𝑞2 o δ = de los estados ambas direcciones y
de símbolos de 𝑞1, 𝑠, 𝑞2 indican compueststos entre el todo lo no
entrada Σ, un estado que la unidad de resultado del conjunto perteneciente a la
inicial o de comienzo control del estado q1 asignado para cada cadena de entrada son
𝑞0 , un conjunto de pasa al estado q2 en uno de los símbolos espacios en blanco B.
estados finales o de presencia del escaneados. -Además, se compone
aceptación (puede ser símbolos. -El leguaje de un AFN por un cabezal de
un conjunto vacío) 𝐹, y -El lenguaje de un ADF 𝐿(𝐴) será el conjunto cinta, en donde cada
una función de se conforma por un de cadenas movimiento es una
transición δ/Δ. Se subconjunto de pertenecientes al función del estado de
representa de la forma cadenas, donde cada alfabeto universo de la unidad de control y
𝐴 = (𝑄, Σ, δ, 𝑞0 , 𝐹). símbolo pertenece al forma que la función el símbolo de la cinta
-Las patologías de los alfabeto de entrada, de transición que señala el cabezal.
programas en donde dichas extendida contiene al El movimiento del
concurrentes son: cadenas son aceptadas menos un estado de cabezal permtirá
por el autómata al aceptación. cambiar de estado,
-Propiedades de terminar su
seguridad:No debe ser escribir un símbolo en
procesamiento. la casilla posicionada.
posible introducir algo -Se debe de
al programa que implementar y diseñar -La estructura de las
produzca un error. un algoritmo capaz de TM son: una cinta, un
-Propiedades de dar solución a diversos cabezal, un registro de
vivacidad: las prolemas en la estado( almacena el
sentencias ejecutadas programación. Los estado de la máquina;
deben contribuír a un autómatas pueden ser el núm. de estados es
avance del objetivo del vistos en traductores, finito y no se exige un
programa y no debe procesadores o estado inicial con el
aplazarse compiladores e que inicie la máquina)
indefinidamente. intérpretes enfocados y una tabla de
al tratamiento de acción(instrucciones
información. que hará el autómata)