Sayılamayan Turing karar verilebilir dili var mı?


17

Turing-decidable olan birçok (ve çok demek istediğim) sayılabilen dil var. Sayılamayan herhangi bir dil Turing'e karar verebilir mi?


2
Mümkün olan tüm kelimelerin dili sayılamazsa (sayılamayan bir alfabe gerektirir), o zaman hemen (önemsiz) Turing karar verilemez sayılamayan bir dil örneği sağlar. Eğer değilse (yani sayılabilir), o zaman alt diller de sayılamaz.
Marc van Leeuwen

Yanıtlar:


25

Sonlu (hatta sayılabilir) bir alfabe üzerindeki her dil sayılabilir. Turing makine alfabenizin sonlu olduğu varsayılarak, kabul edebileceği her dil sayılabilir.


Sayılabilir sonsuz alfabe üzerinde sonlu dizelerin tüm dillerinin seti ne olacak? Sayılabilir mi sayılamaz mı? Ayrıca "sayıca sonsuz alfabeye göre dil sayılabilir" ispatını düşünemedim.
anir

Setiniz de sayılabilir.
Yuval Filmus

Bu "sonlu alfabe üzerindeki dil kümesinin sayılabilir" olduğunu kanıtlar. Sonlu alfabe sayesinde aynı ispat yaklaşımını izleyerek "sonlu alfabe üzerinde sayılabilir sonsuz dizeler içeren diller kümesinin sayılabilir" olduğunu kanıtlayabileceğimizi hissediyorum. Ancak, bu yaklaşımın sayıca sonsuz alfabeye nasıl uyarlanabileceğini hayal edemiyorum.
anir

Yanlış olduğu için bunu kanıtlayamazsınız. Sonsuz ikili dizilerin sayısı zaten sayılamaz.
Yuval Filmus

12

Sayılamayan dillere ancak sonsuz uzunluktaki kelimelere izin verirsek başvurabiliriz, örneğin bkz. Omega normal dili . Bu diller denir -languages. Başka bir örnek, tüm gerçek sayıların ondalık açılımlarını içeren, gerçeklerin alt kümesinin dili olacaktır.ω

Turing Makinelerinin dillerini kabul edecek şekilde değiştirildiği bazı modeller vardır . Bu modellerden bazıları kabul için Buchi koşulunu kullanır. Bütün girdiyi sonlu zamanda göremediğiniz için Turing Machine kabul durumuna sonsuz sayıda girerse girişin kabul edildiğini söylüyoruz. Bunu girdiyi analiz ederek (çalıştırarak değil) ispatlayabilirsek, girdinin kabul edildiğini söyleriz.ω


1
Alfabenin neden sayılabilir olması gerekir?
leftaroundabout

2
İncelenen her modelin sonlu alfabesi vardır. Alfabe de sonsuz hale gelirse (sayılabilir veya sayılamaz) makul bir modele sahip olmak zordur.
Shreesh

@Shreesh Eğer alfabe sayılamazsa, bir FSM'nin (sonlu sayıda eyalet arasında sayılamayan geçişlerle) saf bir haritalaması oldukça güçlü olabilir mi?
Yakk

1
Doğru, bunlar, RE sınıfı veya özyinelemeli dillerin üst sınıfı olabilecek dil sınıflarına sahip olabilecek tür uzantılardır. Ancak hiç incelenmediklerinde iyi incelenmezler. En büyük sorun, bence, makinenin sınırlı bir temsilini nasıl verebiliriz. Sonra sembolü bir teyp hücresine yazmanız gerekir. Mütevazı hücrenin bile, yazılmakta olan teyp sembolünün açıklamasını saklamak için sonsuz belleğe ihtiyacı olabilir.
Shreesh

Bu harika bir açıklama. Her zamanki kabul / reddetme kriteri kullanılsa bile, bir Turing makinesinin karar verebileceği ve teknik olarak sayılamayacak kadar çok dizeye sahip olacağı bazı diller olduğunu söyleyebilirsiniz, ancak sadece karakterlerin büyük çoğunluğu " işe yaramaz.
Owen

5

Klasik hesaplanabilirlik, sonlu bir alfabedeki sonlu dizgiler üzerindeki fonksiyonları tartışır. Sonuç olarak, karar verilebilir veya kararsız tüm diller sayılabilir.

Dikkate almak sayılamayan dilleri biz bakmak zorunda sonsuz dizeleri sonlu dizeleri yerine. (AFAIK, sonsuz bir alfabeye sahip olmak çok ilginç değildir ve kendi başına gerçekçi bir hesaplama modeline karşılık gelmez.)

Gerçek sayılar gibi sayılamayan alanlardan nesneleri temsil etmemize izin veren sonsuz dizelerle başa çıkabileceğimiz hesaplama modelleri vardır. Bunlar genellikle daha yüksek tip hesaplamalar olarak temsil edilir. Turing makinelerini kullanan bir model TTE modelidir. Bu modelde girdi sonsuz dizgiler olabilir ve makineler istediği dizgideki herhangi bir öğeye erişebilir. Makinenin sonlandırılmasına gerek yoktur, ancak makinenin çıktısının yakınlaştığından emin olmak için koşullar vardır.

Makinemizin girdisinin , yani alfabeden st sonsuz dizeler , örneğin Σ = { 0 , 1 } olduğunu varsayalım . Sonra Σ N = 2 N dizesi var. Bu nedenle 2 2 N olası dil vardır. TTE Turing makinelerinin sayısı hala sayılabilir. Yani bu dillerin çoğu kararsızdır.ΣωΣΣ={0,1}ΣN=2N22N

Ancak burada daha da ilginç bir şey var: Makinenin her zaman durmasını istiyorsanız, girişin yalnızca sınırlı bir başlangıç ​​kısmını okuyabilecektir. Sonuç olarak aşağıdakilere sahibiz: , her zaman duran (sınırlı bir zamanda) bir TTE makinesi olsun . Daha sonra, bir ön ek içermeyen dili vardır L Σ * ve Turing makinesi K , öyle ki herhangi x Σ co , E kabul x IFF K ilk kısmını kabul x olan L .MLΣNxΣωMxNxL

Basit bir ifadeyle, her zaman durdurulan TTE Turing makinelerinin hesaplanması, bir Turing makinesinin sonlu teller üzerinde hesaplanmasıyla belirlenir.


Sonsuz dizelerin karar verilebilir ve kararsız dillerine bir örnek vereyim:

  1. Herhangi bir için, k konumu 0 olan sonsuz dizgilerin dili belirlenebilir niteliktedir . İle aynı k herhangi iki Karar verilebilen dillerden 1. Kavşak olmak inci pozisyonunda örneğin dizeleri kimin, Karar verilebilen olan 3 inci pozisyon 0 ve olan 6 inci pozisyon 1'dir.kNkk36

  2. Herhangi iki karar verilebilir dilin birleşmesi karar verilebilir. Örneğin, veya 10 ile başlayan dizeler .010

  3. Let Karar verilebilen dillerin computably enumerable listesi olacak. Daha sonra L = ı L ı vardır makinesi olup durur ve de her bir dize kabul yani yarı Karar verilebilen bir L ve şeritler olmadığı zaman kabul etmez L . O değilse L makine durdurmak olmayabilir. Yarı karar verilebilir herhangi bir dil, yukarıdaki 1. maddede verilen formun numaralandırılabilir bir dil listesinin birleştirilmesi ile elde edilebilir.LiL=iLiLLL

  4. Bir dil, hem dil hem de tamamlayıcısı yarı karar verilebilirse karar verilebilir.

  5. 0'ların sonsuz dizelerini içeren dil karar verilemez. Bu garip görünebilir, ancak şu şekilde bakın: dizeyi okurken ne zaman durdurulabilir ve girişin 0'lardan oluştuğunu söyleyebilir? 0s okuduktan sonra durursanız , makineniz k 0s ile başlayan ve 1s tarafından takip edilen dili de kabul eder . Bu modeldeki dizeye erişebileceğimiz tek erişimin biraz istemek ve almak olduğunu unutmayın.kk


xlgxxlgx bize.


f{0,1}f1(1)Web sitesinde Analiz Ağında Hesaplanabilirlik ve Karmaşıklık için başka referanslar da var .


1
" Sonuç olarak tüm diller sonludur " - Yani sayılabilir mi?
Anton Trunov

Sanırım Bay Trunov.
Jyotirmoy Pramanik

This is a nice post but I fail to see what its bulk has to do with the specific question asked here. Maybe you wanted to create a question-answer-pair?
Raphael
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.