Autmatas

Un autmata es un modelo computacional que consiste en un conjunto de

estados bien definidos: un estado inicial un alfabeto de entrada y una funcin
de transicin. Esta definicin se iguala a la de un autmata finito o mquina de
estados.

En un autmata un estado es la representacin de su condicin en un instante

dado. Un autmata comienza en el estado inicial con un conjunto de smbolos;
su paso de un estado a otro se efecta a travs de la funcin de transicin, la
cual, partiendo de su estado actual y un conjunto de smbolos de entrada, lo
lleva al nuevo estado.

Demostraciones deductivas: el mtodo de deductivos basa en ir encadenando

estados que se suponen verdaderos de manera tal que se obtienen de nuevos
estados; es decir, es aquel que combina principios necesarios y simples
(axiomas postulados, teoremas definiciones, etc.) para deducir nuevas estados.
Por ejemplo: a) Todo cuadrado es figura geomtrica, toda figura geomtrica es
un plano, todo cuadrado es un plano. B) Toda arquitectura es un estudio, todo
el estudio es una profesin, toda arquitectura es una profesin.

Demostraciones inductivas: Se basa en estados iniciales reales y verdaderos

que apoyan la funcin de transicin y que nos llevan a otro estado nuevo
verdadero. Ejemplo: Demostrar que si n es un nmero entero positivo,
entonces 4n+15n1 es mltiplo de 9.

Solucin: Si n=1 entonces: 4(1)+15(1)1=18 y como 9 es mltiplo de 18 se

tiene que la afirmacin es cierta.

Demostraciones de la conversin contradictoria: En una proposicin demostrar

si H, entonces C mediante la demostracin de la proposicin equivalente si
no C, entonces no H. Esta ltima recibe el nombre de conversin
contradictoria de la primera. Ejemplo: Si a todos les gusta nadar, entonces
todos saben nadar. Conversin contradictoria: Si no sabes nadar, no te gusta la
natacin.

Demostracin por reduccin al absurdo: La Reduccin al Absurdo es uno de los

mtodos ms usados para hacer demostraciones matemticas. La idea es
suponer que la proposicin que queremos demostrar es falsa, y a partir de esta

suposicin, usando deducciones matemticas, llegar a una contradiccin o algo

absurdo, lo cual implica que nuestra proposicin es necesariamente cierta.
Ejemplo:

Demuestre que si m y n son enteros tales que n + n2 + n3 = m + m2,

entonces n es par

Solucin. Supongamos que n es impar. A partir de esto debemos conseguir una

contradiccin. Como n es impar, entonces n2 y n3 son ambos impares, de
donde n + n2 + n3 es impar (ya que es la suma de tres impares). Entonces,
como m + m2 = n + n2 + n3, se tiene que m + m2 es impar. Sin embargo,
m+m2 es siempre par (ya que m+m2 = m (m+1) y necesariamente alguno de
los nmeros m m+1 es par). Hemos llegado a una contradiccin. De all se
tiene que n es par, que es lo que queramos demostrar.

Contraejemplos: Un contraejemplo es un ejemplo que prueba la falsedad de un

enunciado. Ejemplo; "todos los corredores son maratonistas". Como esta
proposicin dice que una cierta capacidad (todos tiene la condicin de correr
grandes distancias) es vlida para todos los corredores, incluso un solo
corredor de pista probar su falsedad. En este caso, un corredor de pista es un
contraejemplo a "todos los escritores son maratonistas".

Inducciones estructurales: Consiste en demostrar que una proposicin se

cumple para todos los elementos mnimos del tipo, y que si la propiedad se
cumple para todas las subestructuras de una cierta estructura X, entonces se
debe cumplir tambin para X. Por ejemplo, Todos los nadadores dominan los
cuatro estilos de natacin, entonces si un nadador participa en el estilo de
mariposa, todos participan en este estilo.