LENGUAJES FORMALES Y  SUS MAQUINAS ABSTRACTAS Autor: Ing. Oscar Eduardo Sánchez García Universidad Pontificia Bolivariana ...
Abstracción: Sistemas, Modelos y vistas Airplane Blueprints Flightsimulator Electrical  Wiring Scale Model
Sistemas, Modelos y Vistas View * * depicted by described by System Model flightSimulator:Model scaleModel:Model blueprint...
¿Para que usar Modelos? <ul><li>Construimos modelos para visualizar y controlar la  arquitectura  y el  comportamiento  de...
Modelado de Maquinas <ul><li>Maquina:  Sistema de propósito especifico  </li></ul><ul><li>Enfoque Físico     Representaci...
Autómatas Finitos <ul><li>Abstracción Matemática de un sistema con entradas y salidas discretas </li></ul><ul><li>Modelo d...
Autómatas Finitos <ul><li>Definición Formal </li></ul><ul><li>AF = ( Q,   ,   , q 0 , F) </li></ul><ul><ul><li>Q :conjun...
Autómatas Finitos Movimiento:  si   (q, s) = q’  entonces  (q, sw)    (q’, w)  Sea  w      *, w  es aceptada o reconoc...
<ul><li>Muchas Gracias </li></ul>
Upcoming SlideShare
Loading in …5
×

Introduccion af

4,561 views
5,060 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
4,561
On SlideShare
0
From Embeds
0
Number of Embeds
3,540
Actions
Shares
0
Downloads
12
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Introduccion af

  1. 1. LENGUAJES FORMALES Y SUS MAQUINAS ABSTRACTAS Autor: Ing. Oscar Eduardo Sánchez García Universidad Pontificia Bolivariana Medellín, Febrero de 2012
  2. 2. Abstracción: Sistemas, Modelos y vistas Airplane Blueprints Flightsimulator Electrical Wiring Scale Model
  3. 3. Sistemas, Modelos y Vistas View * * depicted by described by System Model flightSimulator:Model scaleModel:Model blueprints:View airplane:System fuelSystem:View electricalWiring:View
  4. 4. ¿Para que usar Modelos? <ul><li>Construimos modelos para visualizar y controlar la arquitectura y el comportamiento deseado en nuestro sistema </li></ul><ul><li>Los modelos ayudan a visualizar cómo es un sistema para comprender las posibilidades de simplificación y reutilización </li></ul><ul><li>Los modelos permiten especificar la estructura o el comportamiento de un sistema </li></ul><ul><li>Los modelos proporcionan guías para la construcción de un sistema y documentar las decisiones que hemos adoptado . </li></ul>
  5. 5. Modelado de Maquinas <ul><li>Maquina: Sistema de propósito especifico </li></ul><ul><li>Enfoque Físico  Representación mediante planos estructurales: Diseño mecánico </li></ul><ul><li>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 </li></ul>
  6. 6. Autómatas Finitos <ul><li>Abstracción Matemática de un sistema con entradas y salidas discretas </li></ul><ul><li>Modelo de una maquina que acepta cadenas de un lenguaje definido sobre un alfabeto </li></ul>
  7. 7. Autómatas Finitos <ul><li>Definición Formal </li></ul><ul><li>AF = ( Q,  ,  , q 0 , F) </li></ul><ul><ul><li>Q :conjunto Finito de estados </li></ul></ul><ul><ul><li> :alfabeto finito de entrada </li></ul></ul><ul><ul><li> :función de transición,  :Q x   Q </li></ul></ul><ul><ul><li>q 0  Q: estado inicial </li></ul></ul><ul><ul><li>F  Q: conjunto de estados finales </li></ul></ul><ul><li>Representación </li></ul><ul><ul><li>Matriz ( Tabla de Transiciones ) </li></ul></ul><ul><ul><li>Grafo ( Diagrama de estados y transiciones ) </li></ul></ul>
  8. 8. Autómatas Finitos Movimiento: si  (q, s) = q’ entonces (q, sw)  (q’, w) Sea w   *, w es aceptada o reconocida por AF, si (q 0 , w)  * (q,  ), q  F L(AF)={w  w   * y  (q 0 , w)  * (q,  ), q  F} Sea AF = ( Q,  ,  , q 0 , F) un autómata finito, p  Q es accesible desde q  Q, si existe una palabra tal que  (q, x) = p
  9. 9. <ul><li>Muchas Gracias </li></ul>

×