Bu yeniden yazma sisteminde bir dize türetmek mümkün müdür?


11

Yeniden yazma sistemi şeklinde bir dizi kuraldır . Biz bir dizeye bu kuralı uygularsanız w herhangi alt dize yerine A içinde ağırlık bir alt dize ile B tersi ve yardımcısı.ABwAwB

Bir başlangıç ​​dizesi verildiğinde, sistemde B A A B'yi aşağıdaki kurallarla türetebiliriz :AAABBBAAB

  • ABA
  • BABAAABB
  • AAAAB
  • BAAB

Bunun için genel bir algoritma var mı?


Bu soruya daha fazla etiket ekleyebilir veya daha havalı görünmesi için kural kümesini değiştirebilirseniz sevinirim.
Daniil

1
@JD Genel olarak, bu yeniden yazma sorunu çözülemez, çünkü Turing makinesini böyle bir yeniden yazma sistemi ve türetme problemi ile modelleyebilirsiniz == TM'da durma sorunu
Daniil

@JD ah, bu mantıklı, daha fazla okumalıyım, teşekkürler!
Daniil

@Daniil ve gelecekteki okuyucular: Kullanılan kararlaştırılamaz sorun Yazışma sonrası sorunudur .
jmad

Bu aslında Markov'un algoritma fikri.
vonbrand

Yanıtlar:


7

AA

ABA


1
Evet, IIRC, kararsız çünkü belirli bir yeniden yazma kuralları kümesiyle bir TM modelleyebilirsiniz.
Daniil
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.