Contenido

Figura 1. Esquema de la mquina de Turing (Tomado de Scholarpedia) ___________________________________ 9

Figura 2. Clasificacin de gramticas ______________________________________________________________ 21
Figura 3. Esquema de un autmata finito __________________________________________________________ 22
Figura 4. Esquema de una lista ligada _____________________________________________________________ 38
Figura 5. Ejemplo de uso de pilas con una calculadora con notacin sufija. _______________________________ 39
Figura 6. Ejemplo de rbol. Cada nodo est etiquetado con un valor y tiene asociado un valor de tal forma que
puede dado el valor de cada nodo puede encontrar cualquier haciendo comparaciones sucesivas _____________ 40
 :

0
(0 ) ()
 Universalidad Computar

Autmatas Autmatas
y lenguajes

Entre informacin Estructura

y datos de datos

Tipos primitivos
Tipos de
datos Tipos Abstractos

Lista ligadas
colas Estructura
de datos
Pilas
rboles
1 , 2 , ,
 ()

()

,
: {, }

: 1, 2 0, 00
: 0, 1, # 0,00,000
: , 0,00

{0,1}

1: (1,0,1,0, ) 0 1 0 1 0 1 0 1 00
2: (1,1,1,1, ) 0 1 00 1 0 1 00 1 0
3: (1, , 2, , ) 0 1 000 1 00 1 000 1 00
 1 (, )
(, ) = {
0 (, )

(, )

()

(, ) = 1
() = {
(, ) = 0




= {0,1}
= {, , }
= {, , , , , , , , , , , , , , , , , , , , , , , , , , #}

=
101010111 =
= ###

 ||
|| = 9, || = 10, || =
26, || = 0

, = 010101 = 111001100

= 010101111001100

= 1 2 3 4 1 =
#, 2 = #, 3 = #, 4 =

= 1 2 e = 1 2
< 1 < 1 1 = 1 , 2 < 2 = {0,1}

< 0 < 1 < 01 < 10 < 110 < 0001

. = {0,1} 1 =
{0,1} 2 = {00,01,10,11}
3 =
{000,001,010,011,100,101,110,111}

(, V, S, P)

V S

= {< >, < >, < > , < >, < >}
 <> <> <> <
> <>

< oracion >< T >< P >

< >< >< > | < >

< > < >< > < >

<>
<> < >

< >< >< >



 (, , 0 , , )
q0

:
 = {0,1}

= 01001
= 01000

, 0: , 1: , 0: , 0: , 1:

= 01001
= 01000
{< >, < >, < >, < >}
 http://cs.stanford.edu/people/eroberts/courses/soco/
projects/2004-05/automata-theory/basics.html

Autmatas http://blog.markshead.com/869/state-machines-
computer-science/
https://www.youtube.com/watch?v=7ha78yWRDlE
http://automatonsimulator.com/

http://delta.cs.cinvestav.mx/~mcintosh/comu
Gramticas n/summer2006/algebraPablo_html/intro.html
http://qntm.org/grammar
 = =
struct enum struct

struct entrada{
int edad;
char [100] nombre;
char [10] telefono;
};
struct complejo {
float parte_real;
float parte_compleja;
};
structs,
 Pero tambin puedes distinguir un par de constantes concretos de los
Complejos,
0 . . + 0 =
() = 0, () = 1
((([(([])[[ ]])])[[]]))
 = (, )
In [4]: Arbol = ['A',
...: ['B', ['F', [], [] ], []],
...: ['C', ['G', [], [] ], ['H',[],[]]]
...: ]