introduccion af
TRANSCRIPT
LENGUAJES FORMALES Y SUS MAQUINAS ABSTRACTAS
Autor: Ing. Oscar Eduardo Sánchez GarcíaAutor: Ing. Oscar Eduardo Sánchez García Universidad Pontificia BolivarianaUniversidad Pontificia Bolivariana
Medellín, Febrero de 2012Medellín, Febrero de 2012
Abstracción: Sistemas, Modelos y vistas
SystemView 1
Model 2View 2
View 3
Model 1
Airplane BlueprintsFlightsimulator
Electrical WiringScale Model
Sistemas, Modelos y Vistas
View**
depicted bydescribed by
System Model
flightSimulator:ModelscaleModel:Model
blueprints:View
airplane:System
fuelSystem:View electricalWiring:View
• Construimos modelos para visualizar y controlar la arquitectura y el comportamiento deseado en nuestro sistema
• Los modelos ayudan a visualizar cómo es un sistema para comprender las posibilidades de simplificación y reutilización
• Los modelos permiten especificar la estructura o el comportamiento de un sistema
•Los modelos proporcionan guías para la construcción de un sistema y documentar las decisiones que hemos adoptado.
¿Para que usar Modelos?
Modelado de MaquinasMaquina: Sistema de propósito especifico
• Enfoque Físico Representación mediante planos estructurales: Diseño mecánico
• Enfoque Funcional Representación del conjunto de acciones que ocurren sin tener en cuenta la forma y dimensiones de la maquina: Secuencia de operaciones que ejecuta
Autómatas Finitos
Abstracción Matemática de un sistema con entradas y salidas discretas
Modelo de una maquina que acepta cadenas de un lenguaje definido sobre un alfabeto
Autómatas FinitosDefinición Formal
AF = ( Q, , , q0, F) Q :conjunto Finito de estados :alfabeto finito de entrada :función de transición, :Q x Q q0 Q: estado inicial F Q: conjunto de estados finales
Representación Matriz ( Tabla de Transiciones ) Grafo ( Diagrama de estados y transiciones )
Autómatas FinitosMovimiento:
si (q, s) = q’ entonces (q, sw) (q’, w)
Sea w *, w es aceptada o reconocida por AF, si
(q0, w) * (q, ), q F
L(AF)={w w * y (q0, w) * (q, ), q F}
Sea AF = ( Q, , , q0, F) un autómata finito, p Q es accesible desde q Q, si existe una palabra tal que (q, x) = p
Muchas Gracias