SlideShare uma empresa Scribd logo
1 de 9
LENGUAJES FORMALES Y  SUS MAQUINAS ABSTRACTAS Autor: Ing. Oscar Eduardo Sánchez García Universidad Pontificia Bolivariana Medellín, Febrero de 2012
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 blueprints:View airplane:System fuelSystem:View electricalWiring:View
¿Para que usar Modelos? ,[object Object],[object Object],[object Object],[object Object]
Modelado de Maquinas ,[object Object],[object Object],[object Object]
Autómatas Finitos ,[object Object],[object Object]
Autómatas Finitos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
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
[object Object]

Mais conteúdo relacionado

Semelhante a Introduccion af

Presentación de automata finito no deterministico, ana belgica vallejo y saud...
Presentación de automata finito no deterministico, ana belgica vallejo y saud...Presentación de automata finito no deterministico, ana belgica vallejo y saud...
Presentación de automata finito no deterministico, ana belgica vallejo y saud...Ana Belgica Vallejo Lebron
 
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxRepresentecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxSANTOS400018
 
Automata finito y leguaje de operación, ana belgica y saudy miguel
Automata finito y leguaje de operación, ana belgica y saudy miguelAutomata finito y leguaje de operación, ana belgica y saudy miguel
Automata finito y leguaje de operación, ana belgica y saudy miguelAna Belgica Vallejo Lebron
 
Presentacion 2 - Maquinas de Estado Finito
Presentacion 2 - Maquinas de Estado FinitoPresentacion 2 - Maquinas de Estado Finito
Presentacion 2 - Maquinas de Estado Finitojunito86
 
Practica 7(1) de ingeniería de control: Laboratorio de ingeniería de control(...
Practica 7(1) de ingeniería de control: Laboratorio de ingeniería de control(...Practica 7(1) de ingeniería de control: Laboratorio de ingeniería de control(...
Practica 7(1) de ingeniería de control: Laboratorio de ingeniería de control(...SANTIAGO PABLO ALBERTO
 
Presentacion Enguelbert Garcia
Presentacion Enguelbert GarciaPresentacion Enguelbert Garcia
Presentacion Enguelbert GarciaEnguelbert Garcia
 
SIMULACIÓN DE CIRCUITOS HIDRÁULICOS CON 2 CILINDROS.pdf
SIMULACIÓN  DE CIRCUITOS HIDRÁULICOS  CON  2 CILINDROS.pdfSIMULACIÓN  DE CIRCUITOS HIDRÁULICOS  CON  2 CILINDROS.pdf
SIMULACIÓN DE CIRCUITOS HIDRÁULICOS CON 2 CILINDROS.pdfJovanny Duque
 
Funcion De Transferencia
Funcion De TransferenciaFuncion De Transferencia
Funcion De TransferenciaGrupo05N
 
Conversión de modelado de espacio de estados a función de transferencia
Conversión de modelado de espacio de estados a función de transferenciaConversión de modelado de espacio de estados a función de transferencia
Conversión de modelado de espacio de estados a función de transferenciaAlejandro Flores
 
Ecuaciones paramétricas
Ecuaciones paramétricas Ecuaciones paramétricas
Ecuaciones paramétricas Elixhg
 
PLC: Introducción a autómatas GRAFCET
PLC: Introducción a autómatas GRAFCETPLC: Introducción a autómatas GRAFCET
PLC: Introducción a autómatas GRAFCETSANTIAGO PABLO ALBERTO
 
automatas finitos
 automatas finitos automatas finitos
automatas finitosAnel Sosa
 
Presentación de matlab electromagnetismo ...
Presentación de matlab electromagnetismo                                     ...Presentación de matlab electromagnetismo                                     ...
Presentación de matlab electromagnetismo ...SimonCaceres4
 
INTRODCCION A LA DIAGRAMAS DE FLUJO.ppt
INTRODCCION A LA DIAGRAMAS DE FLUJO.pptINTRODCCION A LA DIAGRAMAS DE FLUJO.ppt
INTRODCCION A LA DIAGRAMAS DE FLUJO.pptDemsshillCoutino
 

Semelhante a Introduccion af (20)

Presentación de automata finito no deterministico, ana belgica vallejo y saud...
Presentación de automata finito no deterministico, ana belgica vallejo y saud...Presentación de automata finito no deterministico, ana belgica vallejo y saud...
Presentación de automata finito no deterministico, ana belgica vallejo y saud...
 
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptxRepresentecion-EspectraDAxz<x<zx<zxz<l.pptx
Representecion-EspectraDAxz<x<zx<zxz<l.pptx
 
Automata finito y leguaje de operación, ana belgica y saudy miguel
Automata finito y leguaje de operación, ana belgica y saudy miguelAutomata finito y leguaje de operación, ana belgica y saudy miguel
Automata finito y leguaje de operación, ana belgica y saudy miguel
 
AUTOMATAS
AUTOMATASAUTOMATAS
AUTOMATAS
 
Modelos.diagramabloques
Modelos.diagramabloquesModelos.diagramabloques
Modelos.diagramabloques
 
Presentacion 2 - Maquinas de Estado Finito
Presentacion 2 - Maquinas de Estado FinitoPresentacion 2 - Maquinas de Estado Finito
Presentacion 2 - Maquinas de Estado Finito
 
Practica 7(1) de ingeniería de control: Laboratorio de ingeniería de control(...
Practica 7(1) de ingeniería de control: Laboratorio de ingeniería de control(...Practica 7(1) de ingeniería de control: Laboratorio de ingeniería de control(...
Practica 7(1) de ingeniería de control: Laboratorio de ingeniería de control(...
 
Presentacion Enguelbert Garcia
Presentacion Enguelbert GarciaPresentacion Enguelbert Garcia
Presentacion Enguelbert Garcia
 
SIMULACIÓN DE CIRCUITOS HIDRÁULICOS CON 2 CILINDROS.pdf
SIMULACIÓN  DE CIRCUITOS HIDRÁULICOS  CON  2 CILINDROS.pdfSIMULACIÓN  DE CIRCUITOS HIDRÁULICOS  CON  2 CILINDROS.pdf
SIMULACIÓN DE CIRCUITOS HIDRÁULICOS CON 2 CILINDROS.pdf
 
Funcion De Transferencia
Funcion De TransferenciaFuncion De Transferencia
Funcion De Transferencia
 
509 259-1-pb
509 259-1-pb509 259-1-pb
509 259-1-pb
 
Conversión de modelado de espacio de estados a función de transferencia
Conversión de modelado de espacio de estados a función de transferenciaConversión de modelado de espacio de estados a función de transferencia
Conversión de modelado de espacio de estados a función de transferencia
 
Ecuaciones paramétricas
Ecuaciones paramétricas Ecuaciones paramétricas
Ecuaciones paramétricas
 
PLC: Introducción a autómatas GRAFCET
PLC: Introducción a autómatas GRAFCETPLC: Introducción a autómatas GRAFCET
PLC: Introducción a autómatas GRAFCET
 
Lg transferencia
Lg transferenciaLg transferencia
Lg transferencia
 
Diagramacion
DiagramacionDiagramacion
Diagramacion
 
automatas finitos
 automatas finitos automatas finitos
automatas finitos
 
Presentación de matlab electromagnetismo ...
Presentación de matlab electromagnetismo                                     ...Presentación de matlab electromagnetismo                                     ...
Presentación de matlab electromagnetismo ...
 
INTRODCCION A LA DIAGRAMAS DE FLUJO.ppt
INTRODCCION A LA DIAGRAMAS DE FLUJO.pptINTRODCCION A LA DIAGRAMAS DE FLUJO.ppt
INTRODCCION A LA DIAGRAMAS DE FLUJO.ppt
 
diagramas5.ppt
diagramas5.pptdiagramas5.ppt
diagramas5.ppt
 

Mais de Oscar Eduardo

Mais de Oscar Eduardo (20)

Introducción a IngSW_2022.pptx
Introducción a IngSW_2022.pptxIntroducción a IngSW_2022.pptx
Introducción a IngSW_2022.pptx
 
Inventario tic
Inventario ticInventario tic
Inventario tic
 
Trayecto de actividades_diplomado
Trayecto de actividades_diplomadoTrayecto de actividades_diplomado
Trayecto de actividades_diplomado
 
Modelo pruebas
Modelo pruebasModelo pruebas
Modelo pruebas
 
Framework Android
Framework AndroidFramework Android
Framework Android
 
Comunicación
ComunicaciónComunicación
Comunicación
 
Modelos de Mediación
Modelos de MediaciónModelos de Mediación
Modelos de Mediación
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regulares
 
User stories
User storiesUser stories
User stories
 
App upb móvil 20141
App upb móvil 20141App upb móvil 20141
App upb móvil 20141
 
Subir una aplicación a google play
Subir una aplicación a google playSubir una aplicación a google play
Subir una aplicación a google play
 
Analisis sintáctico
Analisis sintácticoAnalisis sintáctico
Analisis sintáctico
 
Iswiii
IswiiiIswiii
Iswiii
 
Presentacion rup
Presentacion rupPresentacion rup
Presentacion rup
 
Arquitectura sistema
Arquitectura sistemaArquitectura sistema
Arquitectura sistema
 
Doctic modelopropuestadeintervencin
Doctic modelopropuestadeintervencinDoctic modelopropuestadeintervencin
Doctic modelopropuestadeintervencin
 
Isw
IswIsw
Isw
 
Iswii
IswiiIswii
Iswii
 
Cod intermedio
Cod intermedioCod intermedio
Cod intermedio
 
Generalidades sobre windows phone 7.5
Generalidades sobre windows phone 7.5Generalidades sobre windows phone 7.5
Generalidades sobre windows phone 7.5
 

Introduccion af

  • 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.
  • 5.
  • 6.
  • 7.
  • 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.