ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO

FACULTAD: INFORMÁTICA Y ELECTRÓNICA

CARRERA: SOFTWARE

Luis Enrique Robles 6840

CONSTRUCCIÓN DEL SOFTWARE

Ejercicio 1: Usando como referencia un documento con el reglamento de becas para
estudiantes (disponible en la plataforma virtual), identifique y modele dos máquinas de
estados finitos, con sus respectivos elementos: S, Σ, A, sk, así como sus posibles trazas. ¿Se
modeló alguna condición que haya originado un deadlock?
Ejercicio 2: