PRINCIPIOS DE PROGRAMACIN

Presenta:
M.C. Guillermo Avila Elizondo
1

1.

DISEO DE ALGORITMOS

La idea central de la computabilidad (trmino matemtico

con que se conocen los estudios sobre teora de la
computacin) consiste en ser capaz de encontrar la
representacin adecuada para la descripcin de un
problema o un fenmeno.
Es evidente que siempre ser posible describir algn
aspecto de la realidad por medio de cierto lenguaje; basta
con encontrar las combinaciones adecuadas de smbolos
para representar lo que se tiene en mente.

Buena parte de nuestros procesos mentales y

psicolgicos se reducen a descripciones que hacemos
respecto a la realidad que nos rodea, para lo cul se
requieren asociaciones entre conceptos y elementos del
lenguaje (smbolos) en su sntido ms amplio.
Pero una vez resuelto, aunque sea en principio, el
problema de poder describir el mundo, hay que definir la
manera de confirmar si la descripcin es completa. Es
decir, Cmo asegurar que una descripcin puede ser
reproducida por un tercero, para que ste llegue al mismo
lugar del que partimos?
4

Una computadora es mucho ms que una calculadora

compleja, puesto que est basada en una idea
matemtica mucho ms potente, la del modelado.
Un modelo es una especificacin, generalmente en
trminos de un lenguaje matemtico, de los pasos
necesarios para reproducir, aqu y ahora, un subconjunto
determinado de la realidad descrita previamente.
Todo aquello que es descriptible ser representable?
Esta representacin simular completamente lo que fue
descrito?
5

Diremos entonces que un Algoritmo es una manera

formal y sistemtica de representar la descripcin de un
proceso.

Ahora la mquina se comportar emulando a un ser vivo,

en el sentido de que reaccionar, de maneras
prestablecidas, ante estmulos que recibe del mundo
exterior (en este caso la cinta). Un estmulo ser la
conjuncin de dos sucesos: 1) Que el control finito se
encuentre en cierto estado e1 justo cuando, 2) En la
celda que est siendo observada hay un smbolo s1.
7

Ahora es posible escribir, para una mquina en particular,

un conjunto de reacciones que sucedern cuando se
presente un conjunto de estmulos:

El resultado que la mquina dejar al trmino de su

actuacin ser un conjunto de celdas de la cinta que
contiene la codificacin de la solucin encontrada.

Por ltimo, es necesario definir cierto estado (o varios de

ellos) como estado final, de modo que, cuando el control
finito llegue a el (o alguno de ellos), se detenga, dando as
por terminada la computacin del proceso.

Ejemplo 1:
Tenemos una tabla de cierta mquina de Turing que
llamaremos MT1; tiene siete estados (e0e6), y maneja 6
smbolos (0, 1, X, Y, Z, B).
Para esta mquina, los estados
finales son e5 y e6, y el estado
inicial es e0.

10

11

Veamos ahora como se comporta la mquina cuando

se le presenta esta nueva cinta:

12

En el primer caso la mquina de Turing lleg al estado

final e5 y, en ek segundo, al estado final e6. Si ahora se
conecta el estado e5 con el s y el estado e6 con el no, se
puede decir que la mquina acepta la primera cadena
(0011) y no acepta la segunda (011),

13

Disee una mquina de Turing para sumar dos nmeros

enteros. La estrategia ms sencilla consiste en
representar los nmeros en notacin unaria y considerar
el proceso de sumarlos como se ve en el siguiente
ejemplo con los nmeros 3 y 4.

14