Introduccion af
Upcoming SlideShare
Loading in...5
×
 

Like this? Share it with your network

Share

Introduccion af

on

  • 3,215 views

 

Statistics

Views

Total Views
3,215
Views on SlideShare
720
Embed Views
2,495

Actions

Likes
0
Downloads
5
Comments
0

2 Embeds 2,495

http://digicampus.upb.edu.co 2488
http://moodle25.tic.upb 7

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

Introduccion af Presentation Transcript

  • 1. LENGUAJES FORMALES Y SUS MAQUINAS ABSTRACTAS Autor: Ing. Oscar Eduardo Sánchez García Universidad Pontificia Bolivariana Medellín, Febrero de 2012
  • 2. Abstracción: Sistemas, Modelos y vistas Airplane Blueprints Flightsimulator Electrical Wiring Scale Model
  • 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. ¿Para que usar Modelos?
    • 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 .
  • 5. Modelado de Maquinas
    • Maquina: 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
  • 6. 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
  • 7. Autómatas Finitos
    • Definición Formal
    • AF = ( Q,  ,  , q 0 , F)
      • Q :conjunto Finito de estados
      •  :alfabeto finito de entrada
      •  :función de transición,  :Q x   Q
      • q 0  Q: estado inicial
      • F  Q: conjunto de estados finales
    • Representación
      • Matriz ( Tabla de Transiciones )
      • Grafo ( Diagrama de estados y transiciones )
  • 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.
    • Muchas Gracias