Tarea 1 - Fundamentación

Historia y evolución de la teoría de autómatas y

lenguajes formales
1. Alfabeto 1. Alfabeto: Un Alfabeto es un conjunto finito A. Sus elementos se llamarán
símbolos o letras Para denotar el alfabeto se usará el símbolo ∑ o en algunos casos se
especificarán con las primeras letras mayúsculas del abecedario, dependiendo como se
formule el problema. Los símbolos de un alfabeto pueden ser números, letras, entre
otros y suelen estar escritos en minúsculas •
2. 2. Palabra o Cadena: Una palabra o cadena sobre un alfabeto ∑ es una sucesión finita de
elementos de ∑. Se suele denotar con la letra omega Se concluye que es una palabra
sobre ∑
3. Lenguaje: Un lenguaje sobre el alfabeto ∑ es un subconjunto del conjunto de las to del
conjunto de las cadenas sobre cadenas sobre
4. Lenguaje regular: Son aquellos lenguajes cuyas cadenas está formadas por la
concatenación de símbolos, en las cuales no hay relación entre una parte de la cadena y
otra parte de la cadena. • Vemos que una gramática regular o de tipo 3 es aquella
 gramática donde las reglas de producción siguen la siguiente estructura: A→ uB o A→
u donde u T* y A,B V
5. Expresión regular: Los lenguajes descritos por expresiones regulares son los lenguajes
reconocidos por los autómatas finitos. Existe un algoritmo para convertir una expresión regular
en el autómata finito no determinístico correspondiente. El algoritmo construye a partir de la
expresión regular un autómata con transiciones vacías, es decir un autómata que contiene arcos
rotulados con ε. Luego este autómata con transiciones vacías se puede convertir en un autómata
finito sin transiciones vacías que reconoce el mismo vacías que reconoce el mismo lenguaje.
lenguaje.
6. Expresión de conjuntos:
• Por Extensión: Un conjunto está definido por extensión, si se enumeran sus elementos. Por
ejemplo: A = {x / x es un número obtenido al lanzar un dado corriente} es un conjunto definido por
comprensión ya que sus elementos “x” se describen a través de una propiedad “es un número obtenido
al lanzar un dado corriente”. Esa expresión se lee: “A es el conjunto formado por todos aquellos
números que se obtengan al lanzar un dado”. Date cuenta que la obtengan al lanzar un dado”. Date
cuenta que la frase escrita entre las se escrita entre las llaves ({...}) está en llaves ({...}) está en singular
y, sin embargo, se singular y, sin embargo, se lee en plural. Ese conj lee en plural. Ese conjunto,
expresado por extensión, es A unto, expresado por extensión, es A = {1,2,3,4,5,6} = {1,2,3,4,5,6}.
• • Por intensión: dando una descripción precisa de los elementos que forman parte del conjunto, en
vez de citarlos explícitamente. Por ejemplo, el conjunto del punto anterior puede ser visto como: {i Є N
| impar(i), i < 6} donde se supone que los números impares cumplen la que los números impares
cumplen la condición impar (condición impar(i).
7. Palabra nula o vacía ʎ: Es la palabra de longitud cero. Algunos autores
utilizan ε para denotarla
8. Operaciones regulares – Unión •R/= • La unión es el lenguaje que se obtiene
al combinar todos los string de binar todos los string de A y B en un solo
lenguaje A y B en un solo lenguaje Sean A y B lenguajes. La operación regular
Unión se define como: • A B = {x|x Є A ∪∨ B = {x|x Є A x Є B} •Ejemplo: A=
{ 1, 2, 3} y B = { 3, 4} • A B = {1, 2, 3, 4} ∪ B = {1, 2, 3, 4}
9. Operaciones regulares – Concatenación : La concatenación yuxtapone un
string de B después de un string de A •en todas las formas posibles para obtener
los string del nuevo •Lenguaje •Sean A y B lenguajes. La operación regular
concatenación se define
como: • A ° B = A ° B = {xy|x Є A {xy|x Є A y Є B}
9. Operación regulares - Estrella de Kleene
La estrella yuxtapone cualquier número: La estrella yuxtapone cualquier
número de strin de strings de A, uno después gs de A, uno después de otro, para
obtener los string del nuevo lenguaje Sean A y B lenguajes. La operación
regular estrella se define como: define como: A* = {x1
x2 x3……… A* = {x1 x2 x3………. Xk |k ≥ 0, Є A} . Xk |k ≥ 0, Є A}
10. Operador • R/= Un operador es algo que toma más de uno dos variables, el
cual da como resultado otro valor, el cual da como resultado otro valor
correspondiente.

11. Precedencia de los operadores: Un operador es un símbolo que especifica

el tipo de cálculo matemático que se desea realizar. Si • una expresión contiene
varios operadores, se realiza dichos cálculos en un orden • predeterminado. • 1.
() • 2. * cierre • 3. concatenación • 4. + unión
 BIBLIOGRAFIA

Jurado Málaga, E 2008 Teoría de autómatas y lenguajes formales Universidad

de Extremadura Servicio de Publicaciones, p 39 a 70 Recuperado de:
https:://bibliotecavirtual unad edu co/login?url=http :://search ebscohost
com/login aspx?direct=true&db=edsbas&AN=edsbas 62161440
&lang=es&site=eds live&scope=site