Clases

2021 04 29 Introducción TM https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzMyMDQ0Njk1NjMx/details

2021 05 06 Definición Formal TM https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzQ5MjAxNjM5NzI2/details

2021 05 07 TM y Simulación de FA https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzQ5MjAxNjM5OTM0/details

2021 05 13 Variaciones de TM https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzUyMDU3NjEyMzU2/details

2021 05 18 Gramáticas https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzUyMDU3NjEyNDM4/details

2021 05 20 Computabilidad Introducción https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzQ5NDQzNzg3MTg1/details

2021 05 27 Enumeración https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzQ5NDQzNzg3MjE5/details

2021 05 28 Máquina Universal de Turing https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzUyMTA5NjMxNzA4/details

2021 06 01 Halting Problem https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzUwMTgzMjAyMjUx/details

2021 06 03 Otros problemas incomputables https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzA0NjE1NTk1Njg4/details

2021 06 10 Conjuntos Recursivos y Recursivamente https://classroom.google.com/c/

Enumerables MjkyMTAzNDE2MjYz/m/
MzA0NjE1NjIwODEy/details

2021 06 11 Conjuntos Recursivos y Recursivamente https://classroom.google.com/c/

Enumerables Teoremas MjkyMTAzNDE2MjYz/m/
MzU2Mzc5MDMyMzYy/details

2021 06 15 Computabilidad Teorema de Kleene y Rice https://classroom.google.com/c/

MjkyMTAzNDE2MjYz/m/
MzU3MjgwNTkwODY1/details

2021 06 17 Complejidad https://classroom.google.com/u/0/c/

MjkyMTAzNDE2MjYz/m/
MzY3MTAzMTc0OTI3/details

2021 06 18 Complejidad (continuación) https://classroom.google.com/u/0/c/

MjkyMTAzNDE2MjYz/m/
MzY3MTAzMTc0OTcy/details

clase extra P y NP-Complete https://classroom.google.com/u/0/c/

MjkyMTAzNDE2MjYz/m/
MzY3Mzk5Mzg3MzMx/details
Ejercicios exámenes

¿Cómo simular una TM con un FA?

- simulación de DFA (se llegó a demostrar en la clase 2021 05 07)

representación de ejemplo, donde x es un carácter que se desconoce:

* Respuesta: ninguna de las anteriores, por descarte:

1. No podemos afirmar que el patrón {a}* forma parte del lenguaje reconocido ya
que el enunciado no da información sobre cuál es el estado final.
2. No podemos afirmar que el patrón {a}* no forma parte del lenguaje reconocido,
ya que no sabemos si el estado inicial es final.
3. No sabemos por 1 o 2
4. El patrón no puede tener dos definiciones en el reconocimiento al mismo tiempo,
o se reconoce o no. solo una.
5. Respuesta.
----> “Siempre salen variaciones de TM en el examen”

Otros ejercicios
● Equivalencia de la k-tape con la TMO
● Simular una k-tape mediante una single tape
● Definir formalmente la TMO

dificultad con las simulaciones

→ En el examen no va a pedir reducción de k-tape a single tape.

---> completar funcionamiento, se mencionó en la clase 2021 05 13
---> se mencionó en la clase 2021 05 20

---> Ver definición alternativa de DFA

Ordenamiento de DFA con estados finales

Ordenamiento de Gramáticas Regulares

Halting Problem
Escala de funciones computables: g1, g2, g3, g4, g5: para diferenciar
problemas computables, incomputables, problemas computables pero que
no sabemos su número de godel
Teorema del Punto fijo de Kleene
Teorema de Decisión de Rice

ejercicios usando el teorema de decisión de Rice para

identificar problemas con características triviales o no
™ o algoritmo (ejercicios de ejemplo, puede pedir el Sm y Tm
dado un problema)

Enunciar
Definición de:
● P
● NP
● L-Hard
● L-Complete
● NP-Complete

Consecuencias de:
● P = NP
● P ⊂ NP
● NP ⊂ P

Listado de problemas NP
https://en.wikipedia.org/wiki/List_of_NP-complete_problems
https://en.wikipedia.org/wiki/Hamiltonian_path_problem
https://es.wikipedia.org/wiki/
Problema_de_satisfacibilidad_booleana

Para saber si está en NP, reducir a SAT -> HC, resolver con
DTM, luego verificar el costo, si es polinomial está en P, sino
está en NP

Desarrollo: Búsqueda exhaustiva sin optimización

O(1)
Ejercicios desarrollados para el final