INTRODUCCIN

Informtica terica = teora computacin.- Estudia los fundamentos tericos que permiten el
desarrollo de Sistemas informticos.
-La teora de Lenguajes Formales
Campos Informtica Terica
-Las teoras de la calculabilidad y de la complejidad.

- Lenguajes Regulares.
Clasificacin Chomsky
-Lenguajes incontextuales (sin contexto)

Lenguaje Natural.- Evoluciona con el paso del tiempo para la comunicacin humana, las reglas
son posteriores al lenguaje
Lenguaje Formal.- Las reglas se preestablecen, se ajustan al rigor de la gramtica. (Lenguaje
programacin)
La formalizacin del lenguaje en mquinas (autmatas) que reconocen los diferentes
lenguajes.

1.1. Alfabetos: conjuntos de smbolos

Un alfabeto es un conjunto finito y no vaco cuyos elementos se denominan smbolos.

Para designarlo utilizan letras maysculas del alfabeto griego (especialmente S y ).

1.2. Palabras: secuencias de smbolos

Una palabra es una secuencia finita de smbolos de un alfabeto.

Cuando se quiere dejar claro que los smbolos que se utilizan son los de un alfabeto
determinado, se habla de palabras sobre un alfabeto.

1.2.1. La palabra sin smbolos:

Hay una palabra que es una secuencia vaca de smbolos: se representa con la letra griega le, a
menudo, se le llama palabra vaco.
Dado que no contiene ningn smbolo, l es una palabra sobre cualquier alfabeto.

1.2.2. Subpalabras, prefijos y sufijos

Las subsecuencia de smbolos consecutivos de una palabra reciben el nombre de subpalabras

de esta palabra. A menudo tambin se utilizan las palabras factor o infijo.

Las subpalabras del principio de una palabra se denominan prefijos y los subpalabras del final
denominan sufijos. La palabra vaco () y la palabra completa se consideran prefijos y
sufijos-impropios-de cualquier palabra.

1.3. Lenguajes: conjuntos de palabras

Un lenguaje es un conjunto de palabras sobre un alfabeto determinado.
Para designarlos se utiliza la letra L, con subndices, si es necesario, y otras letras maysculas
del alfabeto latino.

2. OPERACIONES SOBRE PALABRAS

2.1. La concatenacin: una palabra tras otra
Concatenar dos palabras significa construir una palabra nueva aadiendo los smbolos de la
lengua tras los smbolos de la primera.
El operador de concatenacin de palabras se representa con el smbolo.

2.1.1. Propiedades de la concatenacin de palabras

1) La concatenacin no tiene la propiedad conmutativa porque, en general,

2) La concatenacin tiene la propiedad asociativa, ya que (w1w2) w3 = w1 (w2 w3).
Esto permite escribir w1 w2 w3 sin que exista ningn tipo de ambigedad.
3) La palabra vaco, , es el elemento neutro de la concatenacin, ya que w= w = w.

2.1.2. Concatenacin de una palabra consigo mismo

La concatenacin de una palabra consigo mismo se suele representar utilizando la notacin

exponencial, de modo que w2 = ww, w3 = www, etc. Ntese que W0 =.

2.1.3. Concatenacin de una palabra y un smbolo

La concatenacin de una palabra y un smbolo se denota de la misma manera que la
concatenacin de dos palabras.

2.2. La longitud: el nmero de smbolos de una palabra

Con la notacin |w| se designa la longitud (nmero de smbolos) de la palabra w.
| w1w
2|=|w
1|+|w
2| |w|=0 w =.

2.3. El nmero de ocurrencias de un smbolo.

La notacin |w|x denota el nmero de apariciones (nmero de ocurrencias) del smbolo x en la
palabra w. | abbabb|a=2
|aaaabbbaab|c=0

2.3. La inversin: invertir una palabra:

La inversin es una operacin que consiste en escribir al revs una palabra dada. La palabra
resultante de la inversin se denomina inversa. Si w es una palabra cualquiera, entonces wR
Denota su inversa. (ab)R = ba (010011)R =101100
Generalmente se cumple que (w1w2) R w1 R w R
2 Pero (w1w
R R
2) = w2 w1
R

2.3. La inversin: invertir una palabra:

Cuando una palabra es igual que su inversa (w)R = w, se dice que es un palndromo.
1).- es un palndromo
2) Las palabras formadas por una letra es un palndromo.
3) Si a es un smbolo cualquiera y w es un palndromo, entonces tenemos que la palabra
awa = (a w a) tambin es un palndromo.
4) La combinacin de las tres reglas anteriores genera un palndromo

3. OPERACIONES SOBRE LENGUAJES

3.1. Operaciones conjuntistas

1.- Unin
2.- Interseccin
3.- La complementacin (c)
4.- La diferencia.

3.2. La Concatenacin
La concatenacin de dos lenguajes, L1 y L2 , es otro lenguaje que contiene todas las palabras
que se pueden construir concatenando una palabra de L1 con palabras de L2 . El operador de
la concatenacin de lenguajes se representa, tambin, con el smbolo . Formalmente tenemos
que L1 L2 = {xL1 yL2 }

3.2.1. Propiedades de la Concatenacin

1) No es conmutativa generalmente L1 L2 L2 L1
2) La concatenacin es asociativa (L1 L2 )L3 = L1 (L2 L3 )
3) El elemento neutro es {}, el lenguaje que slo contiene la palabra vaca, L1 {} = {} L1
4) La concatenacin de lenguajes es distributiva respecto de la unin:
A. (L1 L2 )L3 = L1 L3 L2 L3
B. L1 (L2 L3 ) = L1 L2 L1 L3
5) La concatenacin de lenguajes no es distributiva respecto de la interseccin, porque, en
general, se cumple que
A. (L1 L2 )L3 L1 L3 L2 L3
B. L1 (L2 L3 )L1 L2 L1 L3

3.2.1. Concatenacin de un lenguaje consigo mismo L2