Generador de Codigos y respuesta

a) Para construir un generador de todos los codigos de Máquinas de Turing sintácticamente correctos bastaría con utilizar el generador canónico, el cual nos calcula todas las cadenas posibles mediantes la concatenación de 0 y 1´s, y luego bastaría con unirlo al Automata reconocedor de cadenas, el cual nos diria si una cadena pertenece o no a un cierto lenguaje.

b) La respuesta que hemos pensado que sería la correcta es la segunda, ya que mediante la máquina anterior podemos crear diferentes tipos de codigos mediante 1´s y 0´s para luego decir si pertenecen a un lenguaje, pero no llegariamos a calcular todos los lenguajes existentes, ya que siempre quedaría algun nuevo lenguaje por descubrir, es decir, salen infinitas maquinas pero no todas las existentes.

Semana del 19-23

Esta semana nos hemos reunido para mirar las puntuaciones que nos pondriamos, y mirar los ejercicios que nos faltaban por criticar, además a final de semana miramos el ejercicio que tenemos que entregar para la semana que viene

La interseccion de dos LRE forman un LRE

Sean L1 y L2, L.R.E.->existe M1,M2 L1 = L(M1),L2 = L(M2), es decir, si x є L1,
M1 acepta y si x є L2, M2 acepta.

Sea L = L1 U L2, ¿existe M L = L(M)? Sí, construyendo M de la siguiente forma:

Nosotros partimos de 2 lenguajes, L1 y L2, los cuales є a L, tal que L= L1 interseccion L2. Donde L1 es reconocido por la primera maquina, M1 y L2 es reconocido por la segunda maquina, M2. En primer lugar partimos de una determinada cadena, X, el primer paso es comprobar si esa cadena es reconocida por la primera maquina, para saber si pertenece a L1, si fuera aceptada, se haría el mismo proceso con M2, y si finalmente pertenece a L2, se puede decir que X є a L, dando lugar a que є también a la interseccion de los dos lenguajes.

Semana del 5-9 de mayo

Durante esta semana nos reunimos para mirar el ejercicio para realizar, para tener las cosas claras por si surgia alguna duda, también se hizo alguna prueba con los otros grupos para criticar, por lo que la siguiente semana continuaremos criticando y realizaremos el entregable

Semana del 28 al 2 de mayo

Durante esta semana nos hemos reunido varios dias para realizar la creación de la MT de los bloques de 0, tanto la normal como la multicinta, luego también realizamos la MT para encontrar si una secuencia está en orden creciente o decreciento,tanto la normal como la multicabezal, y finalmente realizamos el generador de a^nb^2na^n

Generador de a^nb^2na^n

Las dos cadenas empiezan desde blanco, por lo que al inicio seria BB, y al final acabaria siendo B##abba#aabbbbaa#aaabbbbbbbaaa#.... nosotros lo que hemos hecho es un generador para calcular todas las cadenas de n y no una n en particular.

MT Multicabezal de Orden Creciente