Teoría de Autómatas II 3º curso Ingeniería Técnica en Informática de Sistemas UNED.

Slides:



Advertisements
Presentaciones similares
Diseño y análisis de algoritmos
Advertisements

“INTRODUCCIÓN A LA LÓGICA COMPUTACIONAL”
Tema: Decibilidad Integrantes: Ileana Rdguez Soto
3º curso Ingeniería Técnica en Informática de Sistemas UNED
Informática I – 4to año Volumen II.
2º curso Ingeniería Técnica en Informática de Sistemas UNED
¿Cómo hacer para que una máquina comprenda el LN?
¿ Que es la complejidad de un algoritmo ?
Analisis deAlgoritmos
3º curso Ingeniería Técnica en Informática de Sistemas UNED
3º curso Ingeniería Técnica en Informática de Sistemas UNED
Teoría de Autómatas II 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
2º curso Ingeniería Técnica en Informática de Sistemas UNED
Programación de Sistemas
5. Propiedades de los Lenguajes Recursivamente
Ingeniería de sw.
INTELIGENCIA ARTIFICIAL
Tratabilidad y NP-Completitud
2º curso Ingeniería Técnica en Informática de Sistemas UNED
REQUISITOS DE SOFTWARE
Redes 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
3º curso Ingeniería Técnica en Informática de Sistemas UNED
Teoría de Autómatas II 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
Introducción a la NP_Completitud Ineficiencia e Intratabilidad No Computablidad e Indecibilidad.
Teoría de Autómatas II 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
3º curso Ingeniería Técnica en Informática de Sistemas UNED
© L.E. Sucar: MGP - 3 T. Info.1 Sesión 3: Teoría de Información Modelos Gráficos Probabilistas L. Enrique Sucar INAOE “Estamos ahogados en datos, pero.
Redes 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
Modelos de Programación Entera - Heurísticas
 La resolución de problemas algorítmicos no solamente implica que los informáticos sepan programar sino necesitan de otras habilidades como tener una.
2º curso Ingeniería Técnica en Informática de Sistemas UNED
2º curso Ingeniería Técnica en Informática de Sistemas UNED
3º curso Ingeniería Técnica en Informática de Sistemas UNED
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
Redes 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
1 Introducción a la Computación para Biólogos, Bioquímicos, Médicos, etc.
3º curso Ingeniería Técnica en Informática de Sistemas UNED
Operaciones con Cadenas
Teoría de Autómatas II 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
Gramáticas Formales Cadenas y Lenguajes.
Método de Montecarlo (…Números Pseudoaleatorios).
Redes 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
Problemas de grafos y Tratabilidad Computacional
AUTÓMATA LINEALMENTE ACOTADO
COMPUTO III Ing. Jimmy Ojeda Arnica.
Conceptos Básicos de Informática
COMPUTO III Ing. Jimmy Ojeda Arnica. METODOLOGIA DEL CURSO Objetivos del curso : Comprender el entorno de los lenguajes visuales. Comprender el entorno.
Programación II Anders Jonsson
Heiner Mercado Curso de Lingüística Computacional
COMPLEJIDAD DE ALGORITMOS
Redes 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
ALGORITMOS
1.En una entrevista hecha a 200 alumnos de cierta escuela de educación superior, se encontró que:  57 deben la materia de Lenguaje de Programación I.
Curso: Programación I Grado: 4to. Bachillerato Prof. Gerardo Barrientos.
Teoría de Autómatas I 2º curso Ingeniería Técnica en Informática de Sistemas UNED.
La clase P juega un papel importante en la teoría de la complejidad computacional debido a que: 1. P es invariante para todos los modelos de cómputo que.
1.2 CONCEPTOS Y TÉCNICAS (Estado del Arte)
Laboratorio Informática II Clase 9 Ejercicios. Ejercicio 1 Indique cuál es el Camino Crítico del siguiente Proyecto
Alumnos, ¡bienvenidos!.  Dinámica de presentación Dinámica.
Mtra. Carolina Galaviz Inzunza
Conalep 150 Tehuacán inmi 309 soma
MAIKOL ESTIVEN MARTINEZ LAS MATEMATICA EN LA INGENIERIA DE SISITEMAS CORPORACIÓN UNIVERSITARIA REMINGTON.
Introducción a la Programación Ing. Juliana Jaramillo Ospina.
Redes 3º curso Ingeniería Técnica en Informática de Sistemas UNED.
Introducción al cálculo lambda Programación lógica funcional.
SOLUCION DE EJERCICIO N°15 SOLUCION EJERCICIO N°17.
DINÁMICA 4º ESO CURSO
Clases sociales PAGINA 135.
2º curso Ingeniería Técnica en Informática de Sistemas UNED
Transcripción de la presentación:

Teoría de Autómatas II 3º curso Ingeniería Técnica en Informática de Sistemas UNED

Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Sesión 7  Clases de Problemas

Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Complejidad de los Problemas  Hay problemas que tienen solución algorítmica pero son considerados sin solución debido a su coste  Supongamos 2 máquinas de Turing que reciben una cadena de entrada w: – M1 la procesa utilizando w 2 instrucciones – M2 la procesa utilizando 2 w instrucciones – Cada instrucción necesita 1 microsegundo  w = 1 → coste M1 = seg; coste M2 = seg  w = 2 → coste M1 = seg; coste M2 = seg  w = 5 → coste M1 = seg; coste M2 = seg  … → (página 269)  Los problemas con coste polinómico suelen ser considerados como problemas resolubles en tiempo razonable

Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Complejidad de los Problemas  La clase de lenguajes P: – Aquellos lenguajes que pueden ser procesados en tiempo polinómico  Lenguajes decidibles en tiempo polinómico: – Aquellos lenguajes para los que una máquina de Turing puede determinar (decidir) si una cadena pertenece al lenguaje – Esta clase de lenguajes es igual que P

Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Complejidad de los Problemas  Problemas de decisión: – Aquellos problemas para los que se espera una respuesta SI o NO – Resolver problemas de decisión es lo mismo que decidir lenguajes  Clase P (página 277): – Lenguajes aceptados en tiempo polinómico – Lenguajes decidibles en tiempo polinómico – Problemas de decisión resolubles en tiempo polinómico

Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Complejidad de los Problemas  Resolver ejercicio: – Ejercicio 1 (pagina 277)  A: n 2 1 hora → n=100 → pasos  A: n 2 1 hora → n=1000 → pasos  B: 2 n 1 hora → n=100 → pasos  B: 2 n 1 hora → n=106 → pasos – Log 2 x = Log 10 x / Log 10 2