INSTITUTO TECNOLOGICO SUPERIOR DE ALAMO TEMAPACHE

CARRERA:
INGENIERÍA EN SISTEMAS
COMPUTACIONALES

ASIGNATURA:
Lenguajes Y Autómata I

NOMBRE DE LA ACTIVIDAD:
Ensayo de la introducción a la teoría de lenguajes

NOMBRE DEL ALUMNO:

Andrés Escobar Monteraño

SEMESTRE:
6°
La teoría de la gramática y los lenguajes formales se nos presenta como una
herramienta que nos permiten el diseño de los llamados lenguajes de
programación.
La teoría de los lenguajes formales y las gramáticas formales tienen una relación
entre la teoría de los autómatas estableciendo una correspondencia llamada
Álgebra Isomorfismo.

La teoría de los autómatas es originada en el campo de la ingeniería eléctrica,

esto se debe a que un científico llamado Claude Elwood Shannon publico
algunos trabajos donde aplico la lógica matemática de los circuitos combinatorios
y secuenciales. Las ideas de este científico fueron desarrolladas con el paso del
tiempo dando el origen a las teorías de Autómatas.

Se puede dar una definición de un Autómata como un sistema que recibe

información, la transforma y produce otra información la cual se transmite al
entorno.

La teoría de los Autómatas se puede aplicar en varios campos como lo son:

Su aplicación tiene campos muy diversos:

Lógica de Circuitos Secuenciales.
Teoría de control de sistemas.
Teoría de la comunicación.
Arquitectura de ordenadores.
Redes Conmutadoras y codificadoras.
Teoría de los sistemas Evolutivos y Auto-reproducidos.
Reconocimiento de patrones.
Redes Neuronales
Reconocimiento y procesado de lenguajes de programación.
Traducción de lenguajes.
Definiciones Previas
Se mencionarán las definiciones de los conceptos que tendrán que ser utilizados
en los capítulos posteriores.

Símbolo
Es una entidad abstracta, esta no se define pues se deja como proposición.
Normalmente los símbolos son letras, dígitos , y otros caracteres . Estos a la vez
pueden estar conformados por varias letras o caracteres, de esta manera
podemos decir que las palabras reservadas de un lenguaje
de programación son símbolos de este mismo.

Ejemplos

a, b, c, #, 0 ,1, +, *, then, begin, end, else

Vocabulario o alfabeto

Se le conoce como un conjunto finito de símbolos que no está vació.

La notación para referiste a que un determinado símbolo (a) pertenece a un
alfabeto (V) se usa la notación a Є
V. Los alfabetos se definen por enumeración de los símbolos que contienen.

Ejemplos
V1 = {A ,B ,C ,D ,E ,F ,G ,H ,...,X ,Y ,Z)
V2 = {a ,b ,c ,d ,0 ,1 ,2 ,3 ,4,* ,# ,+)
V3={0, 1}

Cadena
Una cadena es una secuencia finita de símbolos de un determinado
alfabeto.

Ejemplos

abcb es una cadena del alfabeto V 2

a+2*b es una cadena del alfabeto V 2
000111 es una cadena del alfabeto V 3

Longitud de cadena
La longitud de cadena es el numero de símbolos que contiene. Su forma de
escritura se menciona en los siguientes ejemplos, utilizando las cadenas de los
ejemplos anteriores.

Ejemplos
|abcb|--->4
|a + 2*b|---->5
|000111|---->6
 Cadena vacías
Existe una cadena que se le llama cadena vacía que no tiene símbolos y se
escribe con λ, entonces su longitud es:

|λ|-->0

Concatenación de Cadenas

Sean α y β dos cadenas cualesquiera, a esto se le llama concatenación de α y

β a una nueva cadena αβ constituida por los símbolos α seguidos por los
de la cadena β.

La forma neutra de la concatenación es λ:

aλ=λa=a

Universo del discurso

El conjunto de todas las cadenas que se pueden crear con los símbolos de un
alfabeto V se le llama universo del discurso de V y es representado por W(V).
Este es un conjunto finito. La cadena vacía pertenece a W(V).

Ejemplo

Sea un alfabeto con una sola letra V={a}, entonces el universo del discurso
es:

W(V)={λ,a,aa,aaa,aaaa,...}

que contiene infinitas cadenas.

Lenguajes

Es un subconjunto del universo del discurso sobre un alfabeto V. De igual forma

se le puede dar la definición de un conjunto de palabras de un determinado
alfabeto.

Se puede llegar a pensar que los lenguajes pueden conceptual

izarse por enumeración de las cadenas que pertenecen a un lenguaje en
determinado, pero este método además de ser poco eficiente, es en bastante
caso imposible (un lenguaje consta de infinitas cadenas). Se definen por las
propiedades que cumplen las cadenas del lenguaje.
Ejemplo

El conjunto de palindromos(estas son cadenas que se leen igual de derecha a

izquierda como viceversa) sobre el alfabeto{0,1}.

Este lenguaje contiene infinitas cadenas.

Algunas cadenas del lenguaje son:

λ
0
1
00
11
010
0110
000000
101101

Lenguaje vació
Hay un lenguaje al cual se llama el lenguaje vació este es un conjunto vació y
se denota por {0}. El lenguaje vació no debe confundirse con un lenguaje que
contenga una sola cadena, y esta sea la cadena vacía (λ), puesto que el numero
de elementos (carnidalidad) de estos dos conjuntos es opuesta.

Cardinal ({0})=0
Cardinal ({λ})=0

Gramática
Es algo que existe de forma formalizada para especificar, de una manera finita,
el conjunto de cadenas de símbolos que constituyen un lenguaje.

Autómata
Es una construcción lógica que toma una entrada y produce u na salida
en función de todo que había tomado hasta ese momento.