SlideShare ist ein Scribd-Unternehmen logo
1 von 11
Downloaden Sie, um offline zu lesen
Fundación tecnológica Antonio de Arévalo Autómatas Maria Claudia Acevedo Jinete Wilfrido Arroyo Julio Orlando Cantillo Padilla Misael Mannsbach C Cristian  Montenegro Rodriguez   Ingeniería de sistemas Vll semestre
INTRODUCCION En este tema analizaremos los dos tipos de autómatas deterministas y no deterministas, veremos cada uno de los elementos y restricciones de estos autómatas y en que consiste cada uno de ellos.
OBJETIVO Estudiar los autómatas finitos deterministas y los autómatas finitos no deterministas, los elementos que los forman así como la realización de sus diagramas y su funcionamiento.
Autómatas finitos Definición Sintaxis Autómata finito determinista (AFD). Autómata finito no determinista (AFN). Formas de representación: ◦  Diagrama de transiciones. ◦  Tabla de transiciones.
Autómatas-definición Un  autómata  finito  es  un  modelo  matemático  de  una máquina  que  acepta  cadenas  de  un lenguaje definido sobre un alfabeto A. Consiste en un conjunto finito de estados y un conjunto de  transiciones entre esos estados, que dependen de  los símbolos de  la cadena de entrada.
Autómatas-sintaxis Un autómata es una representación gráfica que muestra el proceso de reconocimiento de una cadena de entrada. La simbología utilizada es simple Cada nodo del grafo corresponde a un estado n, donde n es un número o bien una letra, generalmente.  Una flecha de un estado a otro se denomina transición  entre estados.  El estado inicial se indica mediante una flecha . Los estados finales se representan con un círculo doble.
Autómatas- clasificación Si  para  todo  estado  del  autómata  existe  como  máximo  una  transición  definida  para  cada símbolo del  alfabeto,  se dice que  el  autómata  es determinístico  (AFD). Si  a partir de algún estado y para el mismo símbolo de entrada, se definen dos o más  transiciones se dice que  el autómata es no determinístico (AFND).
Autómatas-clasificación Formalmente un (AF) puede ser descrito como una 5-tupla A = (Q,Σ, δ, q0, F)  donde: ◦  Q  es un conjunto finito de estados ◦  Σ  es un conjunto finito de símbolos o alfabeto. ◦  δ  : Q × Σ -> Q es una función parcial llamada función  de  transición ◦  q0  ∈ Q estado inicial ◦  F  ⊆ Q conjunto de estados finales
Autómata  determinístico A = ({q0, q1, q2}, {a, b}, δ, q0, {q0, q1}) δ(q0, a)= q0  δ(q1, a)= q2  δ(q2, a)= q2 δ(q0, b)= q1  δ(q1, b)= q1  δ(q2, b)= q2
Autómata no determinístico A = ({q0, q1, q2}, {a, b, c}, δ, q0, {q0, q1, q2}) δ (q0, a)= {q0, q1, q2}  δ (q1, a)=  ∅   δ (q2, a)=  ∅ δ (q0, b)= {q1, q2}  δ (q1, b)= {q1, q2}  δ (q2, b)=  ∅ δ (q0, c)= {q2}  δ (q1, c)= {q2}  δ (q2, c)= {q2}
 

Más contenido relacionado

Was ist angesagt?

Autómatas de Pila
Autómatas de PilaAutómatas de Pila
Autómatas de PilaPablo Guerra
 
Mapas de karnaugh para 5 variables
Mapas de karnaugh para 5 variablesMapas de karnaugh para 5 variables
Mapas de karnaugh para 5 variablesRopoga
 
Automata Finito No Determinista - Francisco Torvisco 11-0402 & Jose Raul Nova...
Automata Finito No Determinista - Francisco Torvisco 11-0402 & Jose Raul Nova...Automata Finito No Determinista - Francisco Torvisco 11-0402 & Jose Raul Nova...
Automata Finito No Determinista - Francisco Torvisco 11-0402 & Jose Raul Nova...Don_Francisco
 
Tipos de Autómatas 
Tipos de Autómatas Tipos de Autómatas 
Tipos de Autómatas yelizabeth_20
 
Automata Finito No Determinista
Automata Finito No DeterministaAutomata Finito No Determinista
Automata Finito No DeterministaJean Bernard
 
Autómata de pila (AP)
Autómata de pila (AP)Autómata de pila (AP)
Autómata de pila (AP)Rodrigo GC
 
Maquinas de estado Finito
Maquinas de estado FinitoMaquinas de estado Finito
Maquinas de estado FinitoRosangela Perez
 
Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.Yamilee Valerio
 
Control digital: Retenedor de orden cero y uno
Control digital: Retenedor de orden cero y uno Control digital: Retenedor de orden cero y uno
Control digital: Retenedor de orden cero y uno SANTIAGO PABLO ALBERTO
 
Maquinas de Estado Finito
Maquinas de Estado FinitoMaquinas de Estado Finito
Maquinas de Estado FinitoRosangela Perez
 
Maquinas secuenciales y Autómatas Finitos
Maquinas secuenciales y Autómatas FinitosMaquinas secuenciales y Autómatas Finitos
Maquinas secuenciales y Autómatas FinitosShirlid .n
 
Sistemas de primer orden
Sistemas de primer ordenSistemas de primer orden
Sistemas de primer ordenHenry Alvarado
 
automatas finitos
 automatas finitos automatas finitos
automatas finitosAnel Sosa
 

Was ist angesagt? (20)

Autómatas de Pila
Autómatas de PilaAutómatas de Pila
Autómatas de Pila
 
Mapas de karnaugh para 5 variables
Mapas de karnaugh para 5 variablesMapas de karnaugh para 5 variables
Mapas de karnaugh para 5 variables
 
Automata Finito No Determinista - Francisco Torvisco 11-0402 & Jose Raul Nova...
Automata Finito No Determinista - Francisco Torvisco 11-0402 & Jose Raul Nova...Automata Finito No Determinista - Francisco Torvisco 11-0402 & Jose Raul Nova...
Automata Finito No Determinista - Francisco Torvisco 11-0402 & Jose Raul Nova...
 
Tipos de Autómatas 
Tipos de Autómatas Tipos de Autómatas 
Tipos de Autómatas 
 
Control digital
Control digitalControl digital
Control digital
 
Automata Finito No Determinista
Automata Finito No DeterministaAutomata Finito No Determinista
Automata Finito No Determinista
 
Maquinas de estado
Maquinas de estadoMaquinas de estado
Maquinas de estado
 
Autómata de pila (AP)
Autómata de pila (AP)Autómata de pila (AP)
Autómata de pila (AP)
 
Autómata de Pila
Autómata de Pila Autómata de Pila
Autómata de Pila
 
Filtros
FiltrosFiltros
Filtros
 
Maquinas de estado Finito
Maquinas de estado FinitoMaquinas de estado Finito
Maquinas de estado Finito
 
Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.
 
Teoría de Automatas
Teoría de AutomatasTeoría de Automatas
Teoría de Automatas
 
Flip flops (ff)
Flip flops (ff)Flip flops (ff)
Flip flops (ff)
 
Control digital: Retenedor de orden cero y uno
Control digital: Retenedor de orden cero y uno Control digital: Retenedor de orden cero y uno
Control digital: Retenedor de orden cero y uno
 
Maquinas de Estado Finito
Maquinas de Estado FinitoMaquinas de Estado Finito
Maquinas de Estado Finito
 
Maquinas secuenciales y Autómatas Finitos
Maquinas secuenciales y Autómatas FinitosMaquinas secuenciales y Autómatas Finitos
Maquinas secuenciales y Autómatas Finitos
 
Teoría de autómatas
Teoría de autómatasTeoría de autómatas
Teoría de autómatas
 
Sistemas de primer orden
Sistemas de primer ordenSistemas de primer orden
Sistemas de primer orden
 
automatas finitos
 automatas finitos automatas finitos
automatas finitos
 

Andere mochten auch

Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)Moises Morales
 
Ejecicios Automatas Unidad 2 SAIA UFT Luis Prado
Ejecicios Automatas Unidad 2 SAIA UFT Luis PradoEjecicios Automatas Unidad 2 SAIA UFT Luis Prado
Ejecicios Automatas Unidad 2 SAIA UFT Luis Pradolpgraterol
 
Autómatas Finitos Deterministas y Lenguajes Formales
Autómatas Finitos Deterministas y Lenguajes FormalesAutómatas Finitos Deterministas y Lenguajes Formales
Autómatas Finitos Deterministas y Lenguajes FormalesSandy Rafael Garcia
 
Gramática Libre de Contexto
Gramática Libre de ContextoGramática Libre de Contexto
Gramática Libre de ContextoBrayhan Acosta
 
Educar Innovando 2010 Redes Sociales Educacion
Educar Innovando 2010 Redes Sociales EducacionEducar Innovando 2010 Redes Sociales Educacion
Educar Innovando 2010 Redes Sociales Educacionclublia
 
Automatas y compiladores tablas de transición análisis léxico
Automatas y compiladores tablas de transición análisis léxicoAutomatas y compiladores tablas de transición análisis léxico
Automatas y compiladores tablas de transición análisis léxicoGermania Rodriguez
 
Diseño de Algoritmos
 Diseño de Algoritmos Diseño de Algoritmos
Diseño de AlgoritmosTaniaCalle
 
Introduccion a la logica de programacion
Introduccion a la logica de programacionIntroduccion a la logica de programacion
Introduccion a la logica de programacionnmqy28
 
Autómatas Finitos Deterministas (AFD)
Autómatas Finitos Deterministas (AFD)Autómatas Finitos Deterministas (AFD)
Autómatas Finitos Deterministas (AFD)Raul
 
Redes Sociales En Educacion
Redes Sociales En EducacionRedes Sociales En Educacion
Redes Sociales En Educacionyorlanleon
 
Conversión de un AFN a un AFD.
Conversión de un AFN a un AFD.Conversión de un AFN a un AFD.
Conversión de un AFN a un AFD.Vikky Moscoso
 
Expresiones regulares y gramaticas
Expresiones regulares y gramaticasExpresiones regulares y gramaticas
Expresiones regulares y gramaticasRobin Pena
 
Lenguajes Regulares.
Lenguajes Regulares.Lenguajes Regulares.
Lenguajes Regulares.guestdf1874
 
Lenguajes Regulares y Autómatas Finitos - Clase 6
Lenguajes Regulares y Autómatas Finitos - Clase 6Lenguajes Regulares y Autómatas Finitos - Clase 6
Lenguajes Regulares y Autómatas Finitos - Clase 6UTN-FRT Tucumán Argentina
 
Formato Anteproyecto de Tesis
Formato Anteproyecto de TesisFormato Anteproyecto de Tesis
Formato Anteproyecto de TesisIsabel Olivares.
 
Autómatas finitos no deterministas
Autómatas finitos no deterministasAutómatas finitos no deterministas
Autómatas finitos no deterministasOmega Tech
 

Andere mochten auch (20)

Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)
 
Ejecicios Automatas Unidad 2 SAIA UFT Luis Prado
Ejecicios Automatas Unidad 2 SAIA UFT Luis PradoEjecicios Automatas Unidad 2 SAIA UFT Luis Prado
Ejecicios Automatas Unidad 2 SAIA UFT Luis Prado
 
Autómatas Finitos Deterministas y Lenguajes Formales
Autómatas Finitos Deterministas y Lenguajes FormalesAutómatas Finitos Deterministas y Lenguajes Formales
Autómatas Finitos Deterministas y Lenguajes Formales
 
Automatas finitos
Automatas finitosAutomatas finitos
Automatas finitos
 
Gramática Libre de Contexto
Gramática Libre de ContextoGramática Libre de Contexto
Gramática Libre de Contexto
 
Educar Innovando 2010 Redes Sociales Educacion
Educar Innovando 2010 Redes Sociales EducacionEducar Innovando 2010 Redes Sociales Educacion
Educar Innovando 2010 Redes Sociales Educacion
 
Automatas y compiladores tablas de transición análisis léxico
Automatas y compiladores tablas de transición análisis léxicoAutomatas y compiladores tablas de transición análisis léxico
Automatas y compiladores tablas de transición análisis léxico
 
Diseño de Algoritmos
 Diseño de Algoritmos Diseño de Algoritmos
Diseño de Algoritmos
 
Robotica 1
Robotica 1Robotica 1
Robotica 1
 
Introduccion a la logica de programacion
Introduccion a la logica de programacionIntroduccion a la logica de programacion
Introduccion a la logica de programacion
 
Autómatas Finitos Deterministas (AFD)
Autómatas Finitos Deterministas (AFD)Autómatas Finitos Deterministas (AFD)
Autómatas Finitos Deterministas (AFD)
 
Redes Sociales En Educacion
Redes Sociales En EducacionRedes Sociales En Educacion
Redes Sociales En Educacion
 
Conversión de un AFN a un AFD.
Conversión de un AFN a un AFD.Conversión de un AFN a un AFD.
Conversión de un AFN a un AFD.
 
Expresiones regulares y gramaticas
Expresiones regulares y gramaticasExpresiones regulares y gramaticas
Expresiones regulares y gramaticas
 
1.1. afn. conocer
1.1. afn. conocer1.1. afn. conocer
1.1. afn. conocer
 
Lenguajes Regulares.
Lenguajes Regulares.Lenguajes Regulares.
Lenguajes Regulares.
 
Lenguajes Regulares y Autómatas Finitos - Clase 6
Lenguajes Regulares y Autómatas Finitos - Clase 6Lenguajes Regulares y Autómatas Finitos - Clase 6
Lenguajes Regulares y Autómatas Finitos - Clase 6
 
Presentación robots
Presentación robots Presentación robots
Presentación robots
 
Formato Anteproyecto de Tesis
Formato Anteproyecto de TesisFormato Anteproyecto de Tesis
Formato Anteproyecto de Tesis
 
Autómatas finitos no deterministas
Autómatas finitos no deterministasAutómatas finitos no deterministas
Autómatas finitos no deterministas
 

Ähnlich wie Automatas Infinitos

Presentacion Enguelbert Garcia
Presentacion Enguelbert GarciaPresentacion Enguelbert Garcia
Presentacion Enguelbert GarciaEnguelbert Garcia
 
Automatas y compiladores clase3
Automatas y compiladores clase3Automatas y compiladores clase3
Automatas y compiladores clase3Germania Rodriguez
 
33col2301405 121126110801-phpapp02
33col2301405 121126110801-phpapp0233col2301405 121126110801-phpapp02
33col2301405 121126110801-phpapp02nayis_bonillav
 
Máquinas de turing o máquinas con cola
Máquinas de turing o máquinas con colaMáquinas de turing o máquinas con cola
Máquinas de turing o máquinas con colaIvan Vladimir Meza-Ruiz
 
Maquinas de estado
Maquinas de estadoMaquinas de estado
Maquinas de estado_05mauricio
 
Examen final Autómatas y Lenguajes Formales
Examen final Autómatas y Lenguajes FormalesExamen final Autómatas y Lenguajes Formales
Examen final Autómatas y Lenguajes FormalesDiego Perdomo
 
No determinista autómatas finitos
No determinista autómatas finitosNo determinista autómatas finitos
No determinista autómatas finitosJuan Garcia
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosHumano Terricola
 
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
 
Máquinas de turing o máquinas con cola
Máquinas de turing o máquinas con colaMáquinas de turing o máquinas con cola
Máquinas de turing o máquinas con colaIvan Vladimir Meza-Ruiz
 

Ähnlich wie Automatas Infinitos (20)

Presentacion Enguelbert Garcia
Presentacion Enguelbert GarciaPresentacion Enguelbert Garcia
Presentacion Enguelbert Garcia
 
Teoría de Autómata
Teoría de AutómataTeoría de Autómata
Teoría de Autómata
 
Automatas y compiladores clase3
Automatas y compiladores clase3Automatas y compiladores clase3
Automatas y compiladores clase3
 
Af del mit
Af del mitAf del mit
Af del mit
 
33col2301405 121126110801-phpapp02
33col2301405 121126110801-phpapp0233col2301405 121126110801-phpapp02
33col2301405 121126110801-phpapp02
 
Máquinas de turing o máquinas con cola
Máquinas de turing o máquinas con colaMáquinas de turing o máquinas con cola
Máquinas de turing o máquinas con cola
 
Maquinas de estado
Maquinas de estadoMaquinas de estado
Maquinas de estado
 
Conversion
ConversionConversion
Conversion
 
Tema2
Tema2Tema2
Tema2
 
Clase afd
Clase afdClase afd
Clase afd
 
Examen final Autómatas y Lenguajes Formales
Examen final Autómatas y Lenguajes FormalesExamen final Autómatas y Lenguajes Formales
Examen final Autómatas y Lenguajes Formales
 
No determinista autómatas finitos
No determinista autómatas finitosNo determinista autómatas finitos
No determinista autómatas finitos
 
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitosPortafolio lenguajes y automatas unidad 3 - Autómatas finitos
Portafolio lenguajes y automatas unidad 3 - Autómatas finitos
 
Automatas nueva
Automatas nuevaAutomatas nueva
Automatas nueva
 
Circuito secuencial
Circuito secuencialCircuito secuencial
Circuito secuencial
 
Cuadro descriptivo
Cuadro descriptivoCuadro descriptivo
Cuadro descriptivo
 
Automatas finitos
Automatas finitosAutomatas finitos
Automatas finitos
 
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
 
Tipos de autómatas, y operaciones de conjunto entre autómatas
Tipos de autómatas, y operaciones de conjunto entre autómatasTipos de autómatas, y operaciones de conjunto entre autómatas
Tipos de autómatas, y operaciones de conjunto entre autómatas
 
Máquinas de turing o máquinas con cola
Máquinas de turing o máquinas con colaMáquinas de turing o máquinas con cola
Máquinas de turing o máquinas con cola
 

Último

Excel avanzado.pdf tecnologiaaaaaaaaaaaa
Excel avanzado.pdf tecnologiaaaaaaaaaaaaExcel avanzado.pdf tecnologiaaaaaaaaaaaa
Excel avanzado.pdf tecnologiaaaaaaaaaaaaNicolleAndrade7
 
Estadistica , excel avanzado estudios estadisticos
Estadistica , excel avanzado  estudios estadisticosEstadistica , excel avanzado  estudios estadisticos
Estadistica , excel avanzado estudios estadisticosElizabethAcostaQuinc
 
Carta y Excel trabajo sobre estadística.
Carta y Excel trabajo sobre estadística.Carta y Excel trabajo sobre estadística.
Carta y Excel trabajo sobre estadística.MariannaGutierrezGom
 
El Libro de la Inteligencia Artificial (versión 13)
El Libro de la Inteligencia Artificial (versión 13)El Libro de la Inteligencia Artificial (versión 13)
El Libro de la Inteligencia Artificial (versión 13)Alfredo Vela Zancada
 
TareaSesión8_ListaDinamica_Garcia_Garcia.pptx
TareaSesión8_ListaDinamica_Garcia_Garcia.pptxTareaSesión8_ListaDinamica_Garcia_Garcia.pptx
TareaSesión8_ListaDinamica_Garcia_Garcia.pptxANDREADELCARMENGARCI
 
Trabajo de tecnologia.pdf .
Trabajo de tecnologia.pdf                         .Trabajo de tecnologia.pdf                         .
Trabajo de tecnologia.pdf .SebastinPrez67
 
RESUMENES DE FUNCIONES DESARROLLO DE BLOG
RESUMENES DE FUNCIONES DESARROLLO DE BLOGRESUMENES DE FUNCIONES DESARROLLO DE BLOG
RESUMENES DE FUNCIONES DESARROLLO DE BLOGmarianhenao98
 
PLATAFORMAS SOCIALES.pdf Mundos digitales
PLATAFORMAS SOCIALES.pdf Mundos digitalesPLATAFORMAS SOCIALES.pdf Mundos digitales
PLATAFORMAS SOCIALES.pdf Mundos digitalesCamilaGV4
 
Hernandez_Hernandez_Practica web de la sesion 8.pptx
Hernandez_Hernandez_Practica web de la sesion 8.pptxHernandez_Hernandez_Practica web de la sesion 8.pptx
Hernandez_Hernandez_Practica web de la sesion 8.pptxJOSEMANUELHERNANDEZH11
 
Garcia_Garcia_PracticasWeb7Reportes.pptx
Garcia_Garcia_PracticasWeb7Reportes.pptxGarcia_Garcia_PracticasWeb7Reportes.pptx
Garcia_Garcia_PracticasWeb7Reportes.pptxANDREADELCARMENGARCI
 
cuadro comparativo de web 1.0 web 2.0 web 3.0 web 4.0......pptx
cuadro comparativo de web 1.0 web 2.0 web 3.0 web 4.0......pptxcuadro comparativo de web 1.0 web 2.0 web 3.0 web 4.0......pptx
cuadro comparativo de web 1.0 web 2.0 web 3.0 web 4.0......pptxange07u
 
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.pdf
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.pdfBLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.pdf
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.pdfssuser337a5e
 
INFORME DE LA ACTIVIDAD GRUPAL; EXCEL AVANZADO Y MÉTODOS ESTADÍSTICO.pdf
INFORME DE LA  ACTIVIDAD GRUPAL; EXCEL AVANZADO Y MÉTODOS ESTADÍSTICO.pdfINFORME DE LA  ACTIVIDAD GRUPAL; EXCEL AVANZADO Y MÉTODOS ESTADÍSTICO.pdf
INFORME DE LA ACTIVIDAD GRUPAL; EXCEL AVANZADO Y MÉTODOS ESTADÍSTICO.pdfGabrielHernndez206156
 
Texto Argumentativo (Basura Electronica).docx
Texto Argumentativo (Basura Electronica).docxTexto Argumentativo (Basura Electronica).docx
Texto Argumentativo (Basura Electronica).docxlucianavillotalozano
 
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.docx
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.docxBLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.docx
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.docxwalterdanielcortes08
 
CALCULADORA CIENTIFICA trabajo grupal 9-6.docx
CALCULADORA CIENTIFICA trabajo grupal 9-6.docxCALCULADORA CIENTIFICA trabajo grupal 9-6.docx
CALCULADORA CIENTIFICA trabajo grupal 9-6.docxzoecaicedosalazar
 
¿Cómo preguntar a la IA?_ Universitat Oberta de Catalunya
¿Cómo preguntar a la IA?_ Universitat Oberta de Catalunya¿Cómo preguntar a la IA?_ Universitat Oberta de Catalunya
¿Cómo preguntar a la IA?_ Universitat Oberta de CatalunyaRichard Canabate
 
Segunda_P_Wahrnehmung der Betroffenenrechte DE_SPA.pptx
Segunda_P_Wahrnehmung der Betroffenenrechte DE_SPA.pptxSegunda_P_Wahrnehmung der Betroffenenrechte DE_SPA.pptx
Segunda_P_Wahrnehmung der Betroffenenrechte DE_SPA.pptxsergioagudo4
 
Excel avanzado y métodos estadísticos.pdf
Excel avanzado y métodos estadísticos.pdfExcel avanzado y métodos estadísticos.pdf
Excel avanzado y métodos estadísticos.pdfSOFIAACOSTAESCOBAR
 
Excel avanzado y métodos estadísticos.pdf
Excel avanzado y métodos estadísticos.pdfExcel avanzado y métodos estadísticos.pdf
Excel avanzado y métodos estadísticos.pdfNicolleAndrade7
 

Último (20)

Excel avanzado.pdf tecnologiaaaaaaaaaaaa
Excel avanzado.pdf tecnologiaaaaaaaaaaaaExcel avanzado.pdf tecnologiaaaaaaaaaaaa
Excel avanzado.pdf tecnologiaaaaaaaaaaaa
 
Estadistica , excel avanzado estudios estadisticos
Estadistica , excel avanzado  estudios estadisticosEstadistica , excel avanzado  estudios estadisticos
Estadistica , excel avanzado estudios estadisticos
 
Carta y Excel trabajo sobre estadística.
Carta y Excel trabajo sobre estadística.Carta y Excel trabajo sobre estadística.
Carta y Excel trabajo sobre estadística.
 
El Libro de la Inteligencia Artificial (versión 13)
El Libro de la Inteligencia Artificial (versión 13)El Libro de la Inteligencia Artificial (versión 13)
El Libro de la Inteligencia Artificial (versión 13)
 
TareaSesión8_ListaDinamica_Garcia_Garcia.pptx
TareaSesión8_ListaDinamica_Garcia_Garcia.pptxTareaSesión8_ListaDinamica_Garcia_Garcia.pptx
TareaSesión8_ListaDinamica_Garcia_Garcia.pptx
 
Trabajo de tecnologia.pdf .
Trabajo de tecnologia.pdf                         .Trabajo de tecnologia.pdf                         .
Trabajo de tecnologia.pdf .
 
RESUMENES DE FUNCIONES DESARROLLO DE BLOG
RESUMENES DE FUNCIONES DESARROLLO DE BLOGRESUMENES DE FUNCIONES DESARROLLO DE BLOG
RESUMENES DE FUNCIONES DESARROLLO DE BLOG
 
PLATAFORMAS SOCIALES.pdf Mundos digitales
PLATAFORMAS SOCIALES.pdf Mundos digitalesPLATAFORMAS SOCIALES.pdf Mundos digitales
PLATAFORMAS SOCIALES.pdf Mundos digitales
 
Hernandez_Hernandez_Practica web de la sesion 8.pptx
Hernandez_Hernandez_Practica web de la sesion 8.pptxHernandez_Hernandez_Practica web de la sesion 8.pptx
Hernandez_Hernandez_Practica web de la sesion 8.pptx
 
Garcia_Garcia_PracticasWeb7Reportes.pptx
Garcia_Garcia_PracticasWeb7Reportes.pptxGarcia_Garcia_PracticasWeb7Reportes.pptx
Garcia_Garcia_PracticasWeb7Reportes.pptx
 
cuadro comparativo de web 1.0 web 2.0 web 3.0 web 4.0......pptx
cuadro comparativo de web 1.0 web 2.0 web 3.0 web 4.0......pptxcuadro comparativo de web 1.0 web 2.0 web 3.0 web 4.0......pptx
cuadro comparativo de web 1.0 web 2.0 web 3.0 web 4.0......pptx
 
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.pdf
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.pdfBLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.pdf
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.pdf
 
INFORME DE LA ACTIVIDAD GRUPAL; EXCEL AVANZADO Y MÉTODOS ESTADÍSTICO.pdf
INFORME DE LA  ACTIVIDAD GRUPAL; EXCEL AVANZADO Y MÉTODOS ESTADÍSTICO.pdfINFORME DE LA  ACTIVIDAD GRUPAL; EXCEL AVANZADO Y MÉTODOS ESTADÍSTICO.pdf
INFORME DE LA ACTIVIDAD GRUPAL; EXCEL AVANZADO Y MÉTODOS ESTADÍSTICO.pdf
 
Texto Argumentativo (Basura Electronica).docx
Texto Argumentativo (Basura Electronica).docxTexto Argumentativo (Basura Electronica).docx
Texto Argumentativo (Basura Electronica).docx
 
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.docx
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.docxBLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.docx
BLOG, EXCEL AVANZADO, MÉTODOS ESTADÍSTICOS.docx
 
CALCULADORA CIENTIFICA trabajo grupal 9-6.docx
CALCULADORA CIENTIFICA trabajo grupal 9-6.docxCALCULADORA CIENTIFICA trabajo grupal 9-6.docx
CALCULADORA CIENTIFICA trabajo grupal 9-6.docx
 
¿Cómo preguntar a la IA?_ Universitat Oberta de Catalunya
¿Cómo preguntar a la IA?_ Universitat Oberta de Catalunya¿Cómo preguntar a la IA?_ Universitat Oberta de Catalunya
¿Cómo preguntar a la IA?_ Universitat Oberta de Catalunya
 
Segunda_P_Wahrnehmung der Betroffenenrechte DE_SPA.pptx
Segunda_P_Wahrnehmung der Betroffenenrechte DE_SPA.pptxSegunda_P_Wahrnehmung der Betroffenenrechte DE_SPA.pptx
Segunda_P_Wahrnehmung der Betroffenenrechte DE_SPA.pptx
 
Excel avanzado y métodos estadísticos.pdf
Excel avanzado y métodos estadísticos.pdfExcel avanzado y métodos estadísticos.pdf
Excel avanzado y métodos estadísticos.pdf
 
Excel avanzado y métodos estadísticos.pdf
Excel avanzado y métodos estadísticos.pdfExcel avanzado y métodos estadísticos.pdf
Excel avanzado y métodos estadísticos.pdf
 

Automatas Infinitos

  • 1. Fundación tecnológica Antonio de Arévalo Autómatas Maria Claudia Acevedo Jinete Wilfrido Arroyo Julio Orlando Cantillo Padilla Misael Mannsbach C Cristian Montenegro Rodriguez Ingeniería de sistemas Vll semestre
  • 2. INTRODUCCION En este tema analizaremos los dos tipos de autómatas deterministas y no deterministas, veremos cada uno de los elementos y restricciones de estos autómatas y en que consiste cada uno de ellos.
  • 3. OBJETIVO Estudiar los autómatas finitos deterministas y los autómatas finitos no deterministas, los elementos que los forman así como la realización de sus diagramas y su funcionamiento.
  • 4. Autómatas finitos Definición Sintaxis Autómata finito determinista (AFD). Autómata finito no determinista (AFN). Formas de representación: ◦ Diagrama de transiciones. ◦ Tabla de transiciones.
  • 5. Autómatas-definición Un autómata finito es un modelo matemático de una máquina que acepta cadenas de un lenguaje definido sobre un alfabeto A. Consiste en un conjunto finito de estados y un conjunto de transiciones entre esos estados, que dependen de los símbolos de la cadena de entrada.
  • 6. Autómatas-sintaxis Un autómata es una representación gráfica que muestra el proceso de reconocimiento de una cadena de entrada. La simbología utilizada es simple Cada nodo del grafo corresponde a un estado n, donde n es un número o bien una letra, generalmente. Una flecha de un estado a otro se denomina transición entre estados. El estado inicial se indica mediante una flecha . Los estados finales se representan con un círculo doble.
  • 7. Autómatas- clasificación Si para todo estado del autómata existe como máximo una transición definida para cada símbolo del alfabeto, se dice que el autómata es determinístico (AFD). Si a partir de algún estado y para el mismo símbolo de entrada, se definen dos o más transiciones se dice que el autómata es no determinístico (AFND).
  • 8. Autómatas-clasificación Formalmente un (AF) puede ser descrito como una 5-tupla A = (Q,Σ, δ, q0, F) donde: ◦ Q es un conjunto finito de estados ◦ Σ es un conjunto finito de símbolos o alfabeto. ◦ δ : Q × Σ -> Q es una función parcial llamada función de transición ◦ q0 ∈ Q estado inicial ◦ F ⊆ Q conjunto de estados finales
  • 9. Autómata determinístico A = ({q0, q1, q2}, {a, b}, δ, q0, {q0, q1}) δ(q0, a)= q0 δ(q1, a)= q2 δ(q2, a)= q2 δ(q0, b)= q1 δ(q1, b)= q1 δ(q2, b)= q2
  • 10. Autómata no determinístico A = ({q0, q1, q2}, {a, b, c}, δ, q0, {q0, q1, q2}) δ (q0, a)= {q0, q1, q2} δ (q1, a)= ∅ δ (q2, a)= ∅ δ (q0, b)= {q1, q2} δ (q1, b)= {q1, q2} δ (q2, b)= ∅ δ (q0, c)= {q2} δ (q1, c)= {q2} δ (q2, c)= {q2}
  • 11.  

Hinweis der Redaktion

  1. Los autómatas son mecanismos formales para las gramáticas y lenguajes. En 1936 Turing desarrollo lo que se puede llamar primer autómata: la “máquina de Turing”. Podría visualizársele como un tocacintas sofisticado con una cinta arbitrariamente infinita. La cinta se marca en seccions de tal manera que en cada sección se puede almacenar un bit de información. La cabeza es un mecanismo que se mueve a través de la cinta con la capacidad de leer o escribir sobre esta. Cuenta también con un mecanismo de control colocado en la cabeza de la cinta, que informa qué acciones tomar dependiendo de la lectura de cada bit de información. Sus características y conducta de la máquina de Turing la calificaron como lo que se le llegó a conocer una Máquina de Estados Finitos (MEF), también se le podría concebir como un Autómata Finito (AF).