Tagteoría

Teoría de la computación: máquinas de estados finitos

T

Introducción Una máquina de estados finitos es un modelo de computación, es decir, una herramienta conceptual para diseñar sistemas. Procesa una secuencia de entradas que cambia el estado del sistema. Cuando se procesa toda la entrada, observamos el estado final del sistema para determinar si la secuencia de entrada fue aceptada o no. Componentes de la máquina de estados finitos Máquinas de...

Demostración matemática de la corrección y eficiencia del algoritmo

D

  Introducción Al diseñar un algoritmo completamente nuevo, se necesita un análisis muy completo de su corrección y eficiencia . Lo último que querría es que su solución no sea adecuada para un problema para el que fue diseñado en primer lugar. En este artículo hablaremos de los siguientes temas: Inducción matemática Prueba de corrección Invariantes de bucle Análisis de eficiencia:...

Sobre mi

Últimos Post

Etiquetas

Esta web utiliza cookies propias para su correcto funcionamiento. Al hacer clic en el botón Aceptar, aceptas el uso de estas tecnologías y el procesamiento de tus datos para estos propósitos. Más información
Privacidad