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ı.
Bir başlangıç dizesi verildiğinde, sistemde B A A B'yi aşağıdaki kurallarla türetebiliriz :
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
@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