Conceptos fundamentales de la

teora de autmatas
 Alfabetos
Conjunto de smbolos finito y no vaco

= {0, 1}, el alfabeto binario.
= {a, b, . . . , z}, el conjunto de todas las letras
minsculas.
 Cadenas de caracteres
Palabra
Secuencia finita de smbolos seleccionados de
algn alfabeto
01101 es una cadena del alfabeto binario = {0, 1}
 Convenio
Letras minsculas del principio del alfabeto (o
dgitos) para designar a los smbolos
Letras minsculas del final del alfbeto,
normalmente w, x, y y z, para designar cadenas
 La cadena vaca
Cadena que presenta cero apariciones de
smbolos

Cadena que puede construirse en cualquier
alfabeto
 Longitud de una cadena
Nmero de posiciones ocupadas por smbolos
dentro de la cadena
01101 tiene una longitud de 5
La longitud de una cadena w es |w|.
|011| = 3 y | | = 0
 Potencias de un alfabeto
k
Conjunto de las cadenas de longitud k
Cada uno de los smbolos de las mismas pertenece a
Si = {0, 1}
0 = { }
1 = {0, 1}
2 = {00, 01, 10, 11}
3 = {000, 001, 010, 011, 100, 101, 110, 111}
 ?
y 1
Conjunto de todas las cadenas de un
alfabeto
{0, 1} = { , 0, 1, 00, 01, 10, 11, 000, . . .}
= 0 1 2
+ Conjunto de cadenas no vacas del alfabeto
+ = 1 2 3 .
= + { }
 Concatenacin de cadenas
Sean x e y dos cadenas.
xy denota la concatenacin de x e y
x = a 1 a2 a i
y = b 1 b2 b j ,
xy: xy = a1 a2 ai b1 b2 bj.
|xy| = i + j
Si x=01101 e y=110.
Entonces xy=01101110 e yx = 11001101
w = w = w
 Lenguajes
Conjunto de cadenas, seleccionadas de
L
L es un lenguaje de
El lenguaje de todas las cadenas que constan de n
ceros seguidos de n unos para cualquier n 0: { ,
01, 0011, 000111, . . .}.
El conjunto de cadenas formadas por el mismo
nmero de ceros que de unos: { , 01, 10, 0011,
0101, 1001, . . .}
 Lenguajes
El conjunto de nmeros binarios cuyo valor es un
nmero primo: {10, 11, 101, 111, 1011, . . .}
es un lenguaje para cualquier alfabeto .
, es el lenguaje vaco, es un lenguaje de cualquier
alfabeto.
{ }, el lenguaje que consta slo de la cadena
vaca, tambin es un lenguaje de cualquier alfabeto.
{ }
 Lenguajes mediante
descripciones de conjuntos
{w | algo acerca de w}
{w | w consta de un nmero igual de ceros que de
unos }.
{w | w es un entero binario que es primo }.
{w | w es un programa C sintcticamente correcto }.
{0n 1n | n 1}
{0i 1j | 0 i j}