CAPITULO I

ARBOLES

1. rboles
La definicin de rbol es la siguiente: es una estructura jerrquica
aplicada sobre una coleccin de elementos u objetos llamados nodos; uno de
los cuales es conocido como raz. Adems se crea una relacin o parentesco
entre los nodos dando lugar a trminos como padre, hijo, hermano,
antecesor, sucesor, ancestro, etc. Formalmente se define un rbol de tipo T
como una estructura homognea que es la concatenacin de un elemento de
tipo T junto con un nmero finito de rboles disjuntos, llamados sub-rboles.
Una forma particular de rbol puede ser la estructura vaca.

La figura siguiente representa a un rbol general

Se utiliza la recursin para definir un rbol porque representa la forma

ms apropiada y porque adems es una caracterstica inherente de los
mismos.

1
 La representacin grfica de un rbol binario es la siguiente:

Los rboles tienen una gran variedad de aplicaciones. Por ejemplo, se

pueden utilizar para representar frmulas matemticas, para organizar
adecuadamente la informacin, para construir un rbol genealgico, en la
toma de decisiones, para el anlisis de circuitos elctricos y para numerar los
captulos y secciones de un libro.

A los rboles ordenados de grado dos se les conocen como rboles

binarios ya que cada nodo del rbol no tendr ms de dos descendientes
directos. Las aplicaciones de los rboles binarios son muy variadas ya que
se les puede utilizar para representar una estructura en la cual es posible
tomar decisiones con dos opciones en distintos puntos.

2
 A continuacin podremos observar un caso tpico del uso de rboles.

Ejemplo de un rbol

Partido de tenis a 2 o 3 sets.

3
 En ciencias de la computacin, un rbol es una estructura de datos
comnmente usada que emula la estructura de un rbol con un conjunto de
nodos conectados.
Cada nodo tiene cero o ms nodos hijos, que estn por debajo de l
(en ciencias de la computacin, al contrario que en la naturaleza, los rboles
crecen hacia abajo, no hacia arriba), El nodo del cual un nodo es hijo es
llamado su nodo padre. Un hijo tiene como mximo un padre; un nodo sin
padre es llamado nodo raz (o simplemente raz).

Los nodos sin hijos son llamados hojas. En teora de grafos, un rbol
es un digrafo conectado acclico. Un rbol con raz es como un grafo con un
vrtice seleccionado como la raz. En ese caso, slo dos vrtices conectados
con el lado heredan una relacin de padre-hijo. Un grafo acclico con
mltiples componentes conectados o un conjunto de rboles con raz se
llama bosque.

1.2. Tipos de arboles

1.2.1. Arboles Binarios

Los rboles binarios constituyen un tipo particular de rboles de gran
aplicacin. Estos rboles se caracterizan porque no existen nodos con grado
mayor que dos, es decir, un nodo tendr como mximo dos subrboles.

Definicin: Un rbol binario es un conjunto finito de nodos que puede

estar vaco o consistir en un nodo raz y dos rboles binarios disjuntos,
llamados subrbol izquierdo y subrbol derecho.

4
 En general, en un rbol no se distingue entre los subrboles de un
nodo, mientras que en un rbol binario se suele utilizar la nomenclatura
subrbol izquierdo y derecho para identificar los dos posibles subrboles de
un nodo determinado.
De forma que, por ejemplo, los dos siguientes rboles, a pesar de
contener la misma informacin son distintos por la disposicin de los
subrboles:

1.2.2. Arboles K-arios

En la teora de grafos, un rbol k-ario es un arraigado rbol en el que
cada nodo no tiene ms que hijos k. Tambin es conocido a veces como una
manera de rbol-k, un rbol N-ario, o un rbol M-ario. Un rbol binario es el
caso especial en que k = 2.

Un rbol k-ario completo es un rbol k-ario donde cada nodo en el

mismo nivel 0 tiene hijos k.

5
Representacin grfica

Representacin y diferencia entre ambos tipos

1.3. Caractersticas y propiedades de los rboles

Las siguientes son las caractersticas y propiedades ms importantes de los
rboles en general:

6
 a) Todo rbol que no es vaco, tiene un nico nodo raz.
b) Un nodo X es descendiente directo de un nodo Y, si el nodo X es
apuntado por el nodo Y. en este caso es comn utilizar la expresin X
es hijo de Y.
c) Un nodo X es antecesor directo de un nodo Y, si el nodo X apunta al
nodo Y. en es caso es comn utilizar la expresin X es padre de Y.
d) Se dice que todos los nodos que son descendientes directos (hijos)
de un mismo nodo (padre), son hermanos.
e) Todo nodo que no tiene ramificaciones (hijos), se conoce con el
nombre de terminal u hoja.
f) Todo nodo que no es raz, ni terminal u hoja se conoce con el
nombre de interior.
g) Grado es el nmero de descendientes directos de un determinado
nodo. Grado del rbol es el mximo grado de todos los nodos del
rbol, es decir, el grado ms alto entre todos los nodos.
h) Nivel es el nmero de arcos que deben ser recorridos para llegar a
un determinado nodo. Por definicin la raz tiene nivel 1.
i) Altura del rbol es el mximo nmero de niveles de todos los nodos
del rbol.

7
 A continuacin se presenta un ejemplo para clarificar estos conceptos.

1. A es la raz del rbol. 5. I, E, J, K, G y L son nodos terminales u

Hojas.
2. B es hijo de A.
C es hijo de A. 6. B, D, F, C y H son nodos interiores.
D es hijo de B.
E es hijo de B. 7. El grado del nodo A es 2.
L es hijo de H. El grado del nodo B es 3.
El grado del nodo C es 2.
3. A es padre de B. El grado del nodo D es 1.
B es padre de D. El grado del nodo E es 0.
D es padre de I.
C es padre de G. El grado del rbol es 3.
H es padre de L.
8. El nivel del nodo A es 1.
4. B y C son hermanos. El nivel del nodo B es 2.
D, E y F son hermanos. El nivel del nodo D es 3.
G y H son hermanos. El nivel del nodo C es 2.
J y K son hermanos. El nivel del nodo L es 4.

9. La altura del rbol es 4.

8
1.4. Recorrido de un rbol binario (Preorden, Inorden,
Postorden)

Los rboles binarios, son estructuras de datos no lineales, son

considerados como estructuras jerrquicas y como tal su forma de
recorrerlos difiere sustancialmente en comparacin con las listas enlazadas
que son estructuras de datos de tipo lineal. En ese orden de ideas, el
recorrido de un rbol binario se lleva a cabo en tres sentidos: Preorden,
Inorden y Postorden. A continuacin se detalla cada caso.

1.4.1. Recorrido en Preorden:

Recorrer un rbol en preorden consiste en primer lugar, examinar el

dato del nodo raz, posteriormente se recorrer el subrbol izquierdo en
preorden y finalmente se recorre el subrbol derecho preorden. Esto
significa que para cada subrbol se debe conservar el recorrido en preorden,
primero la raz, luego la parte izquierda y posteriormente la parte derecha.

9
 1.4.2. Recorrido en Inorden

Recorrer un rbol en Inorden consiste en primer lugar en recorrer el

subrbol izquierdo en Inorden, luego se examina el dato del nodo raz, y
finalmente se recorre el subrbol derecho en Inorden. Esto significa que para
cada subrbol se debe conservar el recorrido en Inorden, es decir, primero se
visita la parte izquierda, luego la raz y posteriormente la parte derecha.

1.4.3. Recorrido en Postorden:

Recorrer un rbol en Postorden consiste en primer lugar en recorrer el

subrbol izquierdo en Postorden, luego serecorre el subrbol derecho en
Postorden y finalmente se visita el nodo raz. Esto significa que para cada
subrbol se debe conservar el recorrido en Postorden, es decir, primero se
visita la parte izquierda, luego la parte derecha y por ltimo la raz.

10
11
 CAPITULO II

ESTRUCTURAS ALGEBRAICAS

Una estructura algebraica se pueden definir como un conjunto no

vaco el cual tiene que cumplir con una serie de caractersticas para poder
considerarse como tal como por ejemplo, el hecho de que deben poseer al
menos una operacin binaria interna, algunos autores definen a esto ultimo
de la siguiente forma Dado un conjunto E no vaci, se llama ley de
composicin binaria interna u operacin binaria interna en E a toda funcin
de la forma:

f: E x E E

que asocia cada par ordenado (a,b) ExE con un solo elemento c = f(a,b)
E (Diaz,Ursuaga,y Riao,2005,p.117). Podemos complementar lo anterior
detallando las distintas propiedades que poseen, tanto las estructuras
algebraicas como. las operaciones binarias internas, las cuales segn
Ramrez son las siguientes.

1. Por definicin, si * es una ley de composicin interna sobre E

[en donde E es una estructura algebraica] , entonces es
cerrada sobre E, es decir, se cumple que:
a,b E[a b E]

12
 2. Si * es una ley de composicin interna sobre E, se dice que *:
Es asociativa: para cualesquiera elementos del grupo no
importa el orden en que se operen las parejas de elementos,
mientras no se cambie el orden de los elementos, siempre
dar el mismo resultado. Si a,b E se cumple (a b ) c =
a (b c).(..)
3. Posee elemento neutro o elemento identidad(..): existe un
elemento que al ser operado con cualquier otro, no lo
modifica (como el cero en la suma o el 1 en la
multiplicacin).(..) Si e a E tal que a e = e*a = a.
(..)
4. Tiene elementos opuestos o inversos: todos los elementos del
grupo tienen un elemento opuesto (o inverso), con el que al
operarse dan por resultado el elemento neutro e. El
elemento inverso de uno dado es nico. Si a E b
E tal que a b = b a =e (..)
5. Es conmutativa: para cualesquiera elementos del grupo no
importa el orden de los elementos siempre dar el mismo
resultado.a,b E se cumple a*b = b*a (pags.2-5).

A continuacin se plantearan algunas de las estructuras algebraicas

que poseen una sola operacin interna.

2.1. Monoides
Los monoides se pueden definir segn Pajello(n.d) como :El par (A ,
*) donde A es un conjunto no vaco dotado de una operacin ley de
composicin interna * se denomina monoide.(pag. 2). O tambin como nos
propone Sigler(1981), el cual ademas de la definicin nos otorga una
tipologia.

13
 Un monoide <M,*> es un conjunto M dotado de una operacin binaria
y asociativa,*.
Un monoide unitario <M,*,v> es un conjunto M dotado de una
operacin binaria asociativa * y una operacin nularia v tal que
v(0) es un elemento neutro de una operacin binaria
Un monoide simplicativo o cancelativo <M,*> es un conjunto M
juntamente con una operacin binaria asociativa * para la que se
verifican las propiedades simplificativas: xy=xz implica y = z, e yx = yz
implica x= z. Se podran estudiar tambin monoides que tuviesen
solamente propiedad de simplificacin por la izquierda o solamente
por la derecha.(pag.360).

Algunos ejemplos de monoides segn Pajello(n.d):

( N , + ) , ( Z , + ) , ( Q , + ) , son monoides.
( N , - ) no es un monoide porque la sustraccin no es ley de
composicin interna en N.
( N , *) donde * est definido como a * b = mx.{a , b} es un monoide.
(pag.2)

2.2. Semigrupo
Pajello (n.d) nos define y ejemplifica los Semigrupos de la siguiente
manera.

Un monoide asociativo se denomina Semigrupos.

Si la ley de composicin interna tambin es conmutativa se llama
semigrupo conmutativo.

14
 Si existe el elemento neutro se dice que es un semigrupo con
unidad Semigrupos con identidad.
El elemento neutro de llama identidad.
Ejemplos de semigrupos
( N , + ) es un semigrupo conmutativo sin elemento neutro.
( N0 , + ) es un Semigrupos conmutativo con elemento neutro, el 0.

( N , *) es un semigrupo conmutativo con elemento neutro identidad

igual a 1. (pag.2)

Por otra parte Diaz,Ursuaga y Riao (2005) resumen el concepto de

Semigrupos a lo siguiente: Dado un conjunto G con una ley de composicin
interna , la estructura algebraica (G,*) se denomina semigrupo si y solo si la
operacin * es asociativa(pag.129).

2.3. Grupos
Diaz,Ursuaga y Riao (2005) definen a los grupos de la siguiente
manera:Dado un conjunto G con una ley de composicin interna , la
estructura algebraica (G,*) se denomina grupo si y solo si la operacin * es
asociativa, G tiene elemento neutro respecto a la operacin *, y todo
elemento de G posee simtrico respecto a * (pag.129)

Pajello(n.d) por su lado los define de esta manera:

Sea el par (A ,* ) , donde A es un conjunto no vaco dotado de una

ley de composicin interna binaria:
(A , *) es un grupo se define sobre A una estructura de grupo s:

15
 a)* es asociativa es decir: a,b,c: a,b,c A (a * b )* c=
a*(b*c)
b) * posee elemento neutro en A. Es decir e A / a, si a A
a*e=e*a=a
c) Todo elemento de A es invertible en A respecto de . Es decir a
A, A / a * a=a*a=e
(..)ejemplo(..):
( Q { 0 } ,) y ( R { 0 } , ) (pgs.3,4)

2.4. Grupos abelianos

Los grupos abelianos o conmutativos, se pueden definir de una
manera muy simple partiendo de la teora anterior, correspondiente a los
grupos, porque de manera resumida podemos decir que si *, representa a
un grupo y a su vez este posee la caracterstica de la conmutabilidad se
puede considerar, como un grupo abeliano.

Pajello(n.d) a continuacin nos ofrece un ejemplo de grupo abeliano a

si como su demostracin :
1) El par ( Z , * ) donde Z es el conjunto de los nmeros enteros y * es
una operacin definida como a * b = a + b + 3 forma un grupo
abeliano.
Comprobacin:

* es una ley de composicin interna en Z pues si a y b Z , a + b +

3 Z

* es asociativa pues
(a +b) * c = (a + b +3) * c = a + b +3 + c +3 = a + b + c + 6
y a *(b * c) = a * (b + c + 3) = a + b + c + 3 + 3 = a + b + c + 6

16
* tiene elemento neutro e = 3 , pues
a A , a * e = a entonces a + e +3 = a e = 3
y e * a = a entonces e + a + 3 = a e = 3. (pgs.3,4)

17
 CAPITULO III

LENGUAJES, GRAMTICA Y AUTMATAS

3.1. Smbolo

Es una entidad abstracta, que no se va a definir, pues se dejara como

axioma. Al igual que no se define punto en Geometra. Normalmente los
smbolos son letras (a, b, c,,z), dgitos (0, 1,,9), y otros caracteres (+, -, *,
/, ?, ... ). Los smbolos tambin pueden estar formados por varias letras o
caracteres, as poro ejemplo las palabras reservadas de un lenguaje de
programacin son smbolos de dicho lenguaje.

Ejemplo:
a, b , c, #, 0, 1, +, +, then, begin, end, else.

3.2. Vocabulario o alfabeto

Es un conjunto finito de smbolos, no vaci. Para definir que es un

smbolo a pertenece a un alfabeto V se utiliza la notacin a V. Los
alfabetos se definen por enumeracin de los smbolos que contienen, as por
ejemplo se presentan a continuacin varios alfabetos.

Ejemplo :
V1 = {A, B, C, D, E, F, G, H, , X, Y, Z}

18
 V2 = {a, b, c, d, 0, 1, 2, 3, 4, *, #, +}
V3 = {0, 1}
V4 = {if, then, begin, end, a, b, ;, =, >}
Tambin se pueden definir las tablas ASCII y EBCDIC como los
alfabetos de distintos ordenadores.

3.3. Cadena

Una cadena es una secuencia finita de smbolos de un determinado

alfabeto.

Ejemplo:
Se utilizan los vocabularios de los ejemplos del epgrafe 2.2
abcd es una cadena del alfabeto V2
a+2*b es una cadena del alfabeto V2
000111 es una cadena del alfabeto V3
if a>b then b= a; es una cadena del alfabeto V4

3.4. Cadena vaci

Existe una cadena denominada cadena vaci, que no tiene smbolos y
se detona con , entonces su longitud es :
|| 0

19
3.5. Universo del discurso

El conjunto de todas las cadenas que se pueden formar con los

smbolos de un alfabeto V de denomina universo del discurso V y se
representa por W(V). Evidentemente W(V) es un conjunto infinito. La cadena
vaci pertenece a W(V).

Ejemplo:
Sea un alfabeto con una sola letra V = {a}, entonces el universo es:
W(V) = {, a, aa, aaa, aaaa, }
que contiene infinitas cadenas.

3.6. Lenguaje
Se denomina lenguaje sobre un alfabeto V a un subconjunto del
universo del discurso. Tambin se puede definir como un conjunto de
palabras de un determinado alfabeto.

Alguien puede pensar que los lenguajes se pueden definir por

enumeracin de las cadenas que pertenece a dicho lenguaje, pero ese
mtodo ademas de ineficiente, es en muchos casos imposible
(habitualmente un lenguaje tiene infinitas cadenas). As los lenguajes se
definen por las propiedades que cumplen las cadenas del lenguaje.

Ejemplo:

20
 El conjunto de polinomios (cadena que se leen igual hacia adelante,
que hacia atrs) sobre el alfabeto {0,1}. Evidentemente este lenguaje tiene
infinitas cadenas.

Algunas de este lenguaje son:

0
1
00
11
010
0110
000000

3.7. Gramtica
La gramtica es un ente formal para especificar, de una manera finita,
el conjunto de cadenas de smbolos que constituye un lenguaje.

3.8. Autmata
Un autmata es una construccin lgica que recibe una entrada y
produce una salida en funcin de todo lo recibido hasta ese instante.

En el caso de los procesadores de lenguaje un autmata es una

construccin lgica que recibe como entrada una cadena de smbolos y
produce una salida indicada si dicha cadena pertenece a o no a un
determinado lenguaje.

21
3.9. Tipos de gramtica

3.9.1. Gramticas de tipo 0

Tambin llamadas gramticas no restringidas o gramticas con
estructura de frase.
Las reglas de derivacin son de la forma:

siendo (VNVT)+ y (VNVT) *, es decir la nica restriccin es que no

puede haber reglas de la forma donde es la cadena vaci.
3.9.2. Gramticas de tipo 1
Tambin llamadas gramticas sensibles al contexto (en ingls context
sensitive). En ellas las reglas de produccin son de la forma :
A

siendo A VN; , (VNVT) * y (VNVT)+ .

Estas gramticas se llaman sensibles al contexto, pues se puede

reemplazar A por siempre que estn en el contexto .

3.10. Operaciones con los lenguajes regulares

a) Unin o alternativa :
Sean dos lenguajes definidos sobre un mismo alfabeto, se denomina
unin de los dos lenguajes al conjunto formado por las cadenas que
pertenezcan indistintamente a uno u otro de los dos lenguajes. Formalmente
se puede expresar :

22
 L1L2 = {x/x L1 x L2 }

b) Concatenacin :
Sean dos lenguajes definidos sobre el mismo alfabeto, se denomina
concatenacin de los dos lenguajes al conjunto de todas las cadenas
formadas concatenando una palabra del primer lenguaje con otra del
segundo. Formalmente se puede expresar :
L1L2 = {x1x2/x1 L1 x2 L2 }

c) Potencia de un lenguaje :
Desde un punto de vista estricto esta no es una nueva operacin, sino
un caso particular de la anterior. Se denomina potencia i-sima de un
lenguaje a la operacin que consiste en concatenarlo consigo mismo i-veces.
En el caso de i=0, el resultado es el conjunto vaci.

d) Cierre u operacin estrella :

La operacin cierre de un lenguaje L es otro lenguaje L* obtenido
uniendo el lenguaje L con todas sus potencias posibles, incluso L 0.
Formalmente se puede expresar como :

L* = {} {L} {LL} {LLL}= n = 0 Ln

e) Cierre positivo :
La operacin cierre positivo de un lenguaje L es otro lenguaje L +
obtenido uniendo el lenguaje L con todas sus potencias posibles, excepto
L0 . Formalmente se puede expresar como :

23
 L+ = {L} {LL} {LLL}= n = 1 Ln

3.11. Operaciones con las expresiones regulares

Si es una expresin regular, entonces {} es el conjunto descrito por
la expresin regular . Tambin se puede decir que denota el lenguaje de
la cadena .
Las expresiones regulares describen los lenguajes regulares, luego
sus operaciones correspondern a las indicadas para los lenguajes
regulares.

a) Unin o alternativa :
Si y son expresiones regulares, | es una expresin regular tal
que :
{ | } = {} {}

es decir puede aparecer o indistintamente.

b) Concatenacin :
Si y son expresiones regulares, es una expresin regular tal que:

{ } = {} {}

c) Cierre u operacin estrella :

Si es una expresin regular, entonces * es una expresin regular que
denota { }* . Es decir denota las cadenas :

24




...

d) Cierre positivo :
Si es una expresin regular, entonces es una expresin regular que denota
{}+ . Es decir denota las cadenas :

...

3.12. Tipos de autmatas

3.11.1. Autmata finito

Un autmata finito (determinista) es pues una estructura de la forma)

donde

25
 Se construyen a partir de un conjunto de estados Q y de un conjunto
de smbolos de entrada T. Su funcionamiento queda determinado por una
funcin de transicin.

Si t (q, s) = p esto se interpreta como que el autmata transita del

estado q al estado p cuando arriba el smbolos. En todo autmata finito se
cuenta con un estado inicial, y un conjunto de estados finales

3.12.2. Autmata no-determinista

Los autmatas no-deterministas se conforman como los autmatas
finitos, salvo que sus transiciones, en lugar de ser funciones, son relaciones
que a cada pareja (estado,estmulo) le asocian varios, uno o ningn estado.

Tiene una estructura de la forma

donde

26
 3.12.3. Autmatas de pila
Son autmatas finitos que cuentan con un dispositivo de memoria muy
elemental, del tipo pila, el cual es un almacenamiento lineal que funciona
bajo el principio LIFO: Primero en Entrar, Ultimo en Salir. Sea Q un conjunto
de estados, sea T el alfabeto de entrada y sea V un alfabeto de pila. La
funcin de transicin es de la forma donde la
relacin se interpreta como sigue: Si se est en el estado
q, arriba el smbolo a y en el tope de la pila est el smbolo b entonces se
pasa al estado p y se empila la palabra V. Un autmata de pila reconoce a
una palabra si, tras haberla ledo, termina con su pila vaca.

3.12.3. Mquinas de Turing

Son autmatas finitos con dos pilas que tienen un tope comn. O
equivalentemente, son autmatas que poseen una memoria dada por una
cinta la cual es un almacenamiento lineal, infinito a ambos lados, con acceso
a cualquier localidad en ella. El tope comn es la casilla leda ("scanned
cell''), una pila es la parte de la cinta a la derecha de la casilla leda y otra pila
es su parte izquierda. Las transiciones de la mquina quedan determinadas
por una funcin , donde .

Esta vez, la relacin se interpreta como sigue: ``Si se

est en el estado q y se lee el smbolo a entonces se escribe b, se pasa a p y
se va a examinar la casilla al lado de la leda''.

27
 De hecho, la relacin puede escribirse como

, y por esto, decimos que una mquina de Turing queda

especificada por su lista de quntuplas.

3.13. Maquinas de estado

Se denomina mquina de estados a un modelo de comportamiento de

un sistema con entradas y salidas, en donde las salidas dependen no slo de
las seales de entradas actuales sino tambin de las anteriores.

Las mquinas de estados se definen como un conjunto de estados

que sirve de intermediario en esta relacin de entradas y salidas, haciendo
que el historial de seales de entrada determine, para cada instante, un
estado para la mquina, de forma tal que la salida depende nicamente del
estado y las entradas actuales.

Una mquina de estados se denomina mquina de estados finitos

(FSM por finite state machine) si el conjunto de estados de la mquina es
finito, este es el nico tipo de mquinas de estados que podemos modelar en
un computador en la actualidad; debido a esto se suelen utilizar los trminos
mquina de estados y mquina de estados finitos de forma intercambiable.
Sin embargo un ejemplo de una mquina de estados infinitos sera un
computador cuntico esto es debido a que los Qubit que utilizara este tipo
de computadores toma valores continuos, en contraposicin los bits toman
valores discretos (0 1). Otro buen ejemplo de una mquina de estados
infinitos es una Mquina universal de Turing la cual se puede definir te-
ricamente con una cinta o memoria infinita.

28
CAPITULO 1
http://itchetumal.edu.mx/v2014/paginasvar/Maestros/mduran/Archivos/Unidad
%205%20Grafos%20y%20arboles.pdf
https://es.wikipedia.org/wiki/rbol_k-ario
http://www6.uniovi.es/usr/cesar/Uned/EDA/Apuntes/TAD_apUM_04.pdf
https://hhmosquera.wordpress.com/arbolesbinarios/

CAPITULO 3
http://di002.edv.uniovi.es/~cueva/publicaciones/AUTOMATA.pdf
http://automatas-conceptos.blogspot.com/
https://es.wikipedia.org/wiki/M%C3%A1quina_de_estados

29
30