2.16.4 SF/Máquinas de Estado

Introduce el concepto de estado y transición de estado, máquinas de estados finitos (FSM), y su aplicación en computadoras y protocolos de red como ejemplos de máquinas de estado.
Temas:
Core

• Estado y transición de estado (por ejemplo, estado inicial, estado final, ciclo de vida de estados) Fundamentos Algorítmicos (AL) -ComputationalModelsFormalLanguages.
• Máquinas de estados finitos (por ejemplo, NFA, DFA) Fundamentos Algorítmicos (AL) -ComputationalModelsFormalLanguages.
• Computadoras y Protocolos de Red como ejemplos de Máquinas de Estado Redes y Comunicaciones (NC) -Fundamentals.

Aprendizaje esperado (Learning Outcomes):
Core:

1. Describir las computaciones como un sistema caracterizado por un conjunto conocido de configuraciones con transiciones de una configuración única (estado) a otra (estado) [Describir]
2. Describir la distinción entre sistemas cuya salida es solo una función de su entrada (sin estado - stateless) y aquellos con memoria/historial (con estado - stateful) [Describir]
3. Desarrollar descripciones de máquinas de estado para soluciones de enunciados de problemas simples (por ejemplo, secuenciación de semáforos, reconocedores de patrones) [Crear]
4. Describir una computadora como una máquina de estado que interpreta instrucciones de máquina [Describir]
5. Explicar cómo un programa o protocolo de red también puede expresarse como una máquina de estado y que pueden existir representaciones alternativas para la misma computación [Explicar]
6. Derivar el comportamiento de serie temporal de una máquina de estado a partir de su representación de máquina de estado (por ejemplo, máquina de estado de gestión de conexión TCP) [Analizar]