Sistema de reescritura es un conjunto de reglas en forma de . Si aplicamos esa regla a una cadena , reemplazamos cualquier subcadena en con una subcadena y viceversa.
Dada una cadena de inicio podemos derivar en el sistema con las siguientes reglas:
¿Hay un algoritmo general para eso?
computability
term-rewriting
Daniil
fuente
fuente
Respuestas:
Observe que la paridad del número de s no cambia. Como una cadena contiene un número impar y la otra par, no son accesibles.A A
Creo en general (para un conjunto arbitrario de reglas, no su ejemplo específico), es probable que este sea un problema indecidible. Si las transformaciones son unidireccionales (es decir, reglas de la forma ), es así, por ejemplo, consulte: Sistema de etiquetas .A→BA
fuente