Apakah mungkin untuk mendapatkan string dalam sistem penulisan ulang ini?


11

Sistem menulis ulang adalah seperangkat aturan dalam bentuk . Jika kita menerapkan aturan itu ke string kita mengganti substring in dengan substring dan sebaliknya.w A w BABwAwB

Diberikan string awal dapatkah kita menurunkan dalam sistem dengan aturan berikut:B A A BAAABBBAAB

  • ABA
  • BABAAABB
  • AAAAB
  • BAAB

Apakah ada algoritma umum untuk itu?


Saya akan sangat menghargai jika Anda dapat menambahkan lebih banyak tag ke pertanyaan ini, atau mengubah aturan yang diatur agar terlihat lebih keren.
Daniil

1
@JD Saya pikir, secara umum, masalah penulisan ulang ini tidak dapat diselesaikan, karena Anda dapat memodelkan mesin Turing dengan sistem penulisan ulang dan masalah derivasi == masalah terputusnya TM
Daniil

@ JD ah, itu masuk akal, saya harus membaca lebih lanjut tentang itu, terima kasih!
Daniil

@Daniil dan pembaca di masa mendatang: Masalah yang belum diputuskan yang digunakan adalah masalah surat menyurat .
jmad

Ini pada dasarnya adalah ide algoritma Markov.
vonbrand

Jawaban:


7

Perhatikan bahwa paritas jumlah huruf tidak berubah. Karena satu string berisi angka ganjil dan yang lainnya genap, mereka tidak dapat dijangkau.AAA

Saya percaya secara umum (untuk seperangkat aturan yang sewenang-wenang, bukan contoh spesifik Anda), ini mungkin merupakan masalah yang tidak dapat diputuskan. Jika transformasi adalah salah satu cara (yaitu aturan dari bentuk ) demikian, untuk misalnya lihat: Sistem Tag .ABA


1
Ya, IIRC, ini tidak dapat dipastikan karena Anda dapat memodelkan TM dengan seperangkat aturan penulisan ulang yang spesifik.
Daniil
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.