¿Es posible derivar una cadena en este sistema de reescritura?

11

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.ABwAwB

Dada una cadena de inicio podemos derivar en el sistema con las siguientes reglas:AAABBBAAB

  • ABA
  • BABAAABB
  • AAAAB
  • BAAB

¿Hay un algoritmo general para eso?

Daniil
fuente
Le agradecería si pudiera agregar más etiquetas a esta pregunta, o cambiar el conjunto de reglas para que se vea mejor.
Daniil
1
@JD Creo que, en general, este problema de reescritura no se puede resolver, porque puede modelar la máquina Turing con un sistema de reescritura y un problema de derivación == problema de detención en TM
Daniil
@JD ah, eso tiene sentido, debería leer más, gracias!
Daniil
@Daniil y futuros lectores: El problema indecidible utilizado es el problema de correspondencia posterior .
jmad
Esta es esencialmente la idea de algoritmo de Markov.
vonbrand

Respuestas:

7

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.AA

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 .ABA

Aryabhata
fuente
1
Sí, IIRC, es indecidible porque puedes modelar una TM con un conjunto específico de reglas de reescritura.
Daniil