MÁQUINAS DE ESTADOS

FINITOS Y NÚMEROS DE
GÖDEL.
PAULA CERON RINCON
CLARIBEL ACOSTA
TOBIAS LOPEZ
MAQUINAS DE
ESTADO FINITO
•Las máquinas de estado finito, se
utilizan ampliamente en el diseño de
circuitos digitales (además de en otros
ámbitos de la ingeniería, como la
programación), para describir el
comportamiento de un sistema según el
valor de sus entradas y de cómo van
cambiando en el tiempo.
EJEMPLO
 DIAGRAMA DE ESTADO
FINITO O DIAGRAMA
DE TRANSICIÓN DE
ESTADOS

• Un Diagrama de Estado
Finito es un gráfico que
representa los diferentes
estados de una MEF y todas
las transiciones posibles
entre los estados.
CODIFICACIÓN EN LENGUAJE C
TIPOS DE MÁQUINAS DE ESTADO FINITO

• Reconocedoras o Detectoras:
Llamadas también Detectoras de Secuencia,
realizan básicamente la detección de patrones
o secuencias determinadas en respuesta a las
entradas recibidas.
Transductoras: Las MEFs transductoras se
caracterizan por generar acciones o salidas
dependiendo de las entradas y/o estados; se
implementan en sistemas embebidos
típicamente para aplicaciones de control.
VENTAJAS DE LAS MÁQUINAS DE ESTADO FINITO

• Son intuitivas y fáciles de entender.

• Abstraen convenientemente detalles secundarios que no son necesarios para el análisis del
sistema a un alto nivel y se centran en aspectos claves del mismo.
• Aportan un componente visual que facilita el análisis y diseño del sistema.
• Son universalmente aplicables.
• Su uso es común un sistemas de transmisión de datos y el uso de protocolos de comunicación.
• En programación minimiza grandemente la tendencia a escribir "código espagueti" y puede
ayudar a reducir la cantidad de variable globales necesarias, aumentando al mismo tiempo la
confiabilidad del sistema.
DESVENTAJAS DE LAS MÁQUINAS DE ESTADO FINITO

• No son aplicables a todos los problemas de diseño.

• Funcionan bien en sistemas pequeños con una cantidad de estados en
el orden de las decenas.
• No funcionan bien en sistemas con una cantidad de estados en el orden
de las centenas o miles de estados, aunque en estos casos es posible
la estructuración mediante una combinación de MEFs más pequeñas.
• La adición de funcionalidad es un poco inflexible.
NÚMEROS DE
GÖDEL.
• La numeración de Gödel es una
función que asigna a cada
símbolo y fórmula de un lenguaje
formal un número único,
denominado Número de Gödel
(GN). El concepto fue utilizado
por primera vez por Kurt Gödel
para la demostración del teorema
de Incompletitud de Gödel.
•-Los signos son el alfabeto
con el que se va a construir
todo el lenguaje formal. A
cada uno de ellos se le
asigna su número de Gödel.
Por ejemplo:
• A
  partir de los signos se escriben los enunciados. También a cada uno de ellos se
le asigna su número de Gödel. Consideremos el enunciado 'existe un número x que
es el siguiente de 0', o más brevemente '0 tiene un siguiente', que se simboliza así
(Jx)(x=s0)
8-4-11-9-8-11-5-7-6-9

Por ejemplo el enunciado      ɏx, P (x) se convierte en

22 × 316 × 512 × 76 × 1116 × 137, porque {2, 3, 5, 7, 11,...} es la serie de primos, y 2,
16, 12, 6, 16, 7 son los códigos de los caracteres. Este es un número bastante
grande, pero perfectamente determinado:
14259844433335185664666562849653536301757812500.
Finalmente, a las secuencias de enunciados se les asigna un número de Gödel, de
manera que la secuencia
Enunciado 1 (GN1)
Enunciado 2 (GN2)
Enunciado 3 (GN3)
(donde GN significa número de Gödel)
tiene el número de Gödel 2GN1×3GN2×5GN3, que denominaremos GN4

El argumento central de la demostración hecha por Gödel se basa en que puede escribirse
    ɏ x, ¬R (v, x)
quiere decir
ninguna sentencia de tipo v se puede probar.
El número de Gödel para esta sentencia sería
22 × 316 × 51 × 718 × 116 × 1313 × 1716 × 197
que se puede denominar GN6. Ahora, si se considera la sentencia
     ɏx, ¬R(GN6,x),
que está diciendo
ninguna sentencia que afirme 'ninguna sentencia de tipo v se puede probar' puede
probarse.
Que equivale a esta sentencia no se puede probar.
 TEOREMAS DE INCOMPLETITUD DE GÖDEL
• Primer teorema de incompletitud — Si PA es consistente, entonces PA es incompleta, en el
sentido en que existe en el lenguaje de PA una fórmula cerrada G que no se puede ni
demostrar ni refutar en PA: PA ɏ G y PA ɏ ¬G.
Por ejemplo, al enunciado “2 es par” podría corresponderle el número 19, mientras que al
enunciado “9 es primo” podría corresponderle el número 44.

• Segundo teorema de incompletitud — Si PA es consistente, entonces la fórmula

cerrada ConsPA que expresa la consistencia de PA en el lenguaje de PA no se puede
demostrar en PA: PA ɏ ConsPA

 G se define como:

WEBGRAFIA

• https://www.digilogic.es/maquinas-de-estado-finito-fsm-vhdl/
• https://www.tecbolivia.com/index.php/articulos-y-tutoriales-microcontrolado
res/13-introduccion-a-las-maquinas-de-estado-finito
• https://es.quora.com/Qu%C3%A9-suponen-formalmente-los-n%C3%BAmer
os-de-G%C3%B6del
• https://www.tispain.com/2014/06/teorema-de-kurt-godel-la-cumbre-de-los.ht
ml