Hola,
En el examen de febrero 2011. Ej. 1 pide hacer un autómata y una gramática para un LLC {a^(k mod3)b^k#a^((k+1) mod 3)b^(2k) / k mayor o igual cero}
La única condición que hay para k es ser mayor que cero ,pero en la solución parecen asumir que k es múltiplo de 3. Eso es incorrecto o hay algo que no estoy viendo?
Gracias,
Andrea
hola:
no es que sean múltiplos de 3, pero tal vez te confunda porque todo el lenguaje está en función del resultado "mod 3". los resultados posibles de esa operación son 0, 1 y 2 (las aes del comienzo), que se analizan a partir de los estados q3, q6 y q2 respectivamente, la cantidad de bes tiene que ser, entonces, un múltiplo de 3, múltiplo de 3 más 1, múltiplo de tres más dos (para que k verifique el respectivo valor del módulo dado por las aes del comienzo).
saludos,
d.-