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

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

Bir başlangıç dizesi verildiğinde, sistemde aşağıdaki kurallarla türetebiliriz : $AAABB$ $BAAB$

$A \leftrightarrow BA$
$BABA \leftrightarrow AABB$
$AAA \leftrightarrow AB$
$BA \leftrightarrow AB$

Bunun için genel bir algoritma var mı?

computability term-rewriting

— Daniil
kaynak

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

$A$ $A$

$A \to BA$

— Aryabhata
kaynak

Evet, IIRC, kararsız çünkü belirli bir yeniden yazma kuralları kümesiyle bir TM modelleyebilirsiniz.

— Daniil