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