Özyinelemeli ve özyinelemeyle numaralandırılabilir dillerin birçok tanımlarına rastladım. Ama ne olduklarını tam olarak anlayamadım.
Birileri lütfen bana basit kelimelerle ne olduklarını söyleyebilir mi?
Özyinelemeli ve özyinelemeyle numaralandırılabilir dillerin birçok tanımlarına rastladım. Ama ne olduklarını tam olarak anlayamadım.
Birileri lütfen bana basit kelimelerle ne olduklarını söyleyebilir mi?
Yanıtlar:
Pek sayılmaz. Birkaç kitap okumalısın. Belki biraz önerebiliriz.
Bununla birlikte, eğer bir dize bu dilin bir parçası ise, her zaman "evet" veya "hayır" şeklinde cevap verebilecek bir Turing makinesi varsa, bir dil özyinelemelidir. Bu şartı dilin dizeleri için sadece "evet" demekle yüklersek (eğer değilse sonsuza kadar çalışabilir) o zaman tekrarlı bir şekilde numaralandırılabilir bir dile sahibiz. Bir özyinelemeli bir dilin bir Turing makinesi tarafından belirlenebileceğini görmek zor değildir, özyinelemeli bir şekilde numaralandırılabilir bir dize dizelerini listeleyebilir (örneğin, sonsuz sayıda Turing makinesini paralel olarak çalıştırarak - evet bu mümkündür, bkz. Dove-tailing - Alfabenin bütün dizelerinde ve ilgili TM kabul ederse bir dizge çıktısı alın). Çok, çok sayıda eşdeğer tanım var.
Bir makine cevabı hesaplayabiliyorsa, problem tekrarlanır veya çözülebilirdir .
Bir makine cevabın olumlu olduğuna ikna edilebilirse , problem tekrarlanamaz şekilde numaralandırılabilir veya yarıya çekilebilir .
Bir Dil dizeleri sadece kümesidir. Muhtemelen sonsuz kardinalite.
Bir dilin özgeçmişi vardır, eğer dile ait dizgelerin çıktısını tutan (ve sadece bu dizgileri) tutan bir TM varsa, sonunda dildeki her dize çıktıda olacaktır.
Bir dil, eğer yukarıdaki TM sadece dildeki tüm dizeleri çıkarmaz, aynı zamanda sırayla çıkarırsa, özyinelemelidir ! (örneğin, sözlüksel olarak).
Özyinelemeli dilleri kolayca düşünebileceğinizden eminim (ve bunları sırayla veren bir TM oluşturun). Kararsızlık ve köşegenleştirme hakkında biraz daha fazla okumadıkça, özyinelemeli sayılabilir dilleri (özyinelemeli olmayan) bulmak oldukça zor. Ancak bu diller var.
Özyinelemeli diller bazı Turing Makinesi tarafından belirlenebilir, yani, herhangi bir giriş dizgisine (uygun alfabenin üzerinden) verildiğinde, dize dilde ise evet veya hayır ise doğru cevap verebilecek bir TM vardır.
Tekrarlayan numaralandırılabilir diller yalnızca tanınır, yani, dize dilde olduğunda kabul eden bir Turing Makinesi var, ancak dize dilde değilse sonsuza kadar döngü olabilir.
Özyinelemeli ve özyinelemeli numaralandırılabilir diller arasındaki temel fark, özyinelemeyi kabul etmiyorsa, özyinelemeli Turing makinesinin son durumda durmadığını hissediyorum.
Öznitelikle numaralandırılabilir Bir teli kabul etmiyorsa, Turing makinesi nihai durumda veya özyinelemeli diller için geçerli olmayan döngüde durabilir
==> Dilde her dizeyi kabul eden ve dilde değilse reddeden bir Turing makinesi varsa, bir dil özyinelemelidir. örneğin, Turing makinesi M ve String w'yi alalım: w dizisi Turing makinesi M'nin bir üyesiyse, M son durumunda durur, aksi takdirde hesaplamayı reddeder. ==> ==> Dilde her dizeyi kabul eden bir dil Turing makinesi varsa ve dilde değilse, sonsuza kadar döngü olabileceğini reddeden bir dil özyinelemelidir. örneğin, Turing machine M ve String w'yi alalım: w dizesi dilde ise, M son durumunda durur. Aksi takdirde hesaplamayı reddeder veya sonsuza dek çalıştırılabilir.