Resumen de actividades. Grupo 10. Del 9 al 16 de Abril.
El grupo se reunió de nuevo el miércoles, donde:
* Se corrigieron las M.T. de la división, n^2 y multiplicación del grupo 9
* Se re-estructuró el grupo para abarcar toda la faena
* Se repasaron los temas expuestos en clase teoría:
- Demostración de que las M.T. Multicinta y multicabezal tienen el mismo poder computacional que las M.T. estándar realizada por el grupo 1
- Demostración de la equivalencia en cuanto a poder computacional entre las M.T. Deterministas y las No Deterministas realizada por el grupo 6
- El generador Canónico. Dado el alfabeto {a1, a2, ... aR} genera todas las combianciones de esos K simbolos en orden canónico.
- El Generador de Pares. Se llama Generador de Pares a la Máquina de Turing capaz de generar todos los pares (i, j) ' N × N, G(M) = {(i, j) | i, j ' N}.
El grupo se reunió de nuevo el miércoles, donde:
* Se corrigieron las M.T. de la división, n^2 y multiplicación del grupo 9
* Se re-estructuró el grupo para abarcar toda la faena
* Se repasaron los temas expuestos en clase teoría:
- Demostración de que las M.T. Multicinta y multicabezal tienen el mismo poder computacional que las M.T. estándar realizada por el grupo 1
- Demostración de la equivalencia en cuanto a poder computacional entre las M.T. Deterministas y las No Deterministas realizada por el grupo 6
- El generador Canónico. Dado el alfabeto {a1, a2, ... aR} genera todas las combianciones de esos K simbolos en orden canónico.
- El Generador de Pares. Se llama Generador de Pares a la Máquina de Turing capaz de generar todos los pares (i, j) ' N × N, G(M) = {(i, j) | i, j ' N}.
No hay comentarios:
Publicar un comentario