Buenas,
Haciendo ejercicios de parciales anteriores noté dos cosas que me gustaría consultar
1. La primera es sobre la simplicidad del testigo Z que se toma. Me voy a explicar con el siguiente ejemplo del segundo parcial del 2021:
Allí se toma la tira Z = 12N 0N # 0N 12N que es perfectamente valida pero mi pregunta es ¿No hubiese sido mas simple tomar una tira como 12N # 0N ? Pues esta también pertenece al lenguaje pero tiene la ventaja de que al hacer el desarrollo del contrarrecíproco, se tienen que investigar menos familias ¿Existe alguna razón en particular para haber elegido la tira "compleja"? O fue solo con fines didácticos.
Aprovechando este tema me gustaría consultar sobre que tan "simple" puede ser el testigo Z elegido, ¿Alcanza con que un solo símbolo de la tira se vea afectado por el N? Pregunto esto porque es común, en lenguajes donde algún símbolo tiene que "estar si o si", colocar a ese símbolo sin ser afectado por el N
2. La segunda duda es sobre algunos testigos Z que creo no son validos pues entiendo que según el enunciado del contrarrecíproco, debe de cumplirse para todo N natural.
Considerar el examen de Julio 2020 y su solución
Por la restricción n > 0 se deduce que la tira si o si debe de comenzar con una "a" pero el testigo no cumple eso para N = 0 por lo que no seria un testigo valido ¿Estoy en lo correcto?
Al principio estaba seguro de que si pero luego vi mas soluciones similares
Aquí por la restricción k > 0 se deduce que luego del primer "#" debería de si o si venir una "a" cosa que de nuevo no se cumple para N = 0
Muchas gracias