Aşağıda somut bir örnek ve neden olduğu kafa karışıklığını listeleyeceğim.
İlk önce bir karar sorunumuz olduğunu varsayalım:
"X <= 400 mü?"
Alfabeyi doğal sayılar kümesi olarak tanımlıyoruz.
Bu problemin oluşturduğu dil $L = \{ w | w <= 400 \}$
Alfabenin üzerinde L'deki herhangi bir kelimeyi kabul etme durumunda duran bir Turing makinesi, M tanımlarız. Yani Turing makinesi L'yi tanır.
$L(M) = \{ w |$ M, w girişinde kabul etme durumunda durur$\}$
Bu Turing makinesinin herhangi bir girdi için durup durmayacağını bilmediğimizi söylemekte haklı mıyım?
Bu bir karar problemi olduğuna göre, ondan anlaşılan dil her zaman b sonlu olacak mı?
Bu Turing makinesini, kelimelerin sayı olduğu her seferinde tek bir kelimeyi kabul edecek şekilde tanımladığımızı söylemekte haklı mıyım? Algoritma iki girişi kabul edecek şekilde değiştirilmiş olsaydı, iki kelimeyi kabul ettirebilirdik.
Sorun için Dil nasıl olurdu: "X <= Y mi?"
Bir karar problemi için, anlaşılan Dildeki unsurlar çözümler nelerdir?
Alfabeyi doğal sayılar kümesi olarak tanımlıyoruz.
Hayır yok. Alfabe sonlu olmalıdır.
Bu Turing makinesinin herhangi bir girdi için durup durmayacağını bilmediğimizi söylemekte haklı mıyım?
Tek bildiğiniz, TM'nin dili tanıdığıysa, o zaman haklısınız: Bazı girdilerde sonsuza kadar döngü yapabilir.
Bu bir karar problemi olduğuna göre, ondan anlaşılan dil her zaman b sonlu olacak mı?
Bu bir karar sorunu olmaktan çıkmaz. Bu dil sonludur çünkü 400'den küçük yalnızca sonlu sayıda doğal sayı vardır. Ancak, örneğin, çift sayıların dili sonsuzdur, ancak yine de bir karar problemidir.
Bu Turing makinesini, kelimelerin sayı olduğu her seferinde tek bir kelimeyi kabul edecek şekilde tanımladığımızı söylemekte haklı mıyım? Algoritma iki girişi kabul edecek şekilde değiştirilmiş olsaydı, iki kelimeyi kabul ettirebilirdik.
Evet, dile karar veren bir Turing makinesi üretebilirsiniz $\{x,y\mid x,y\leq 400\}$.
Sorun için Dil nasıl olurdu: "X <= Y mi?"
Bu özelliğe sahip tüm dizelerin kümesi olacaktır.
Bir karar problemi için, anlaşılan Dildeki unsurlar çözümler nelerdir?
"Farkında olmak" ile ne demek istediğinden emin değilim. (Daha önce yazmıştınız ama tam anlamı o kadar önemli değildi.) Karar problemi "Girdi dizgisinin özelliği X var mı?" ve doğal olarak bu özelliğe sahip dizelerin diliyle ilişkilidir.
Küçük ama önemli bir noktayla başlayayım. Arasında ayrım yapmalısın$X$ bu doğal bir sayıdır ve $w$doğal bir sayıyı temsil eden bir dizedir. Yani dize$11$ sayıyı temsil edebilir $2$ tek terimli sayı $3$ ikili olarak sayı $11$ ondalık olarak sayı $17$ onaltılık olarak vb. dil
$L=\{w|w \text{ represents a natural number } X \le 400\}$
sayıları nasıl temsil etmek istediğinize bağlı olacaktır.
İkinci nokta - sonlu bir durum otomatı oluşturabiliriz $F(L)$ tanıyan $L$. Örneğin, tekli sayı sistemini kullanıyorsak$L$ tüm dizelerden oluşur $1$daha büyük olmayan s $400$yani a $402$ DFA'yı şu şekilde belirt $400$ kabul eden devletler tanıyacak $L$.
Birçok farklı Turing makinesi olacak $M(L)$ kabul eden $L$. Ve kesinlikle kıvrımlı ve hayli şaşırmış böyle bir$M(L)$ bunun için belirli girdiler için durup durmadığını belirlemek imkansızdır.
Ancak sonlu bir durum otomatı olduğunu bildiğimiz için $F(L)$ kabul eden $L$en basit yaklaşım, bu otomatı bir Turing makinesi olarak uygulamaktır. $M(F(L))$. Ve bu yaklaşımla bundan emin olabiliriz$M(F(L))$ her zaman verilen herhangi bir girişte durur $w$ Çünkü $F(L)$ en fazla geçecek $|w|$ durum geçişleri.
Karar problemini yakalamak için " $X \le Y$"bir dil olarak, iki doğal sayıyı temsil etmek için bir şema oluşturmanız yeterlidir $X$ ve $Y$tek kelimeyle. Bunu yapmanın basit bir yolu, bir sembol tanıtmaktır.$\#$bu yalnızca sayıları ayırmak için kullanılır (veya tam anlamıyla sayıların temsilleri). Daha sonra dili tanımlayabilirsiniz
$L' = \{x\#y| (x \text{ represents a natural number } X) \land (y \text{ represents a natural number } Y) \land (X \le Y)\}$
'The Handmaid's Tale' yazarı Eric Tuchman Entertainment Weekly ile yaptığı röportajda, Nick'in Haziran'dan kalma alyansını neden sakladığını açıkladı.
Nico Tortorella, Josh karakterini 7 sezon sonra 'Younger'dan tamamladı ancak 'Mr. Büyük an.
Eski 'The Challenge' şampiyonu Ashley Kelsey ve NFL geri koşuyor Kerryon Johnson birlikte ilk bebeği, kızı Snoh Marie'yi karşılıyor.
HBO Max, 'Genera+ion' Sezon 1: Bölüm 2'nin prömiyer tarihini doğruladı ve dizinin hayranları fragmana tepki gösteriyor.
Bilim adamları bir asırdan fazla bir süredir bilmelerine rağmen, Güney Okyanusu nihayet resmen tanındı.
Katılmalarına izin verilen Polonyalı subaylar için oyunlar, ölüm ve yıkım zamanında insanlığın bir kutlamasıydı. Ancak bu oyunlar - bugüne kadar - sporun müthiş iyileştirici gücünü gösteriyor.
Orijinal alçı modelden dökülen 9 metrelik bronz bir Özgürlük Heykeli Amerika'ya geliyor. Fransa ve Amerika arasındaki uzun süreli dostluğun şerefine ve New York City'nin Bağımsızlık Günü kutlamalarının en önemli anlarından biri olacak.
Mohs sertlik ölçeği, jeologlar ve gemologlar tarafından bir sertlik testi kullanarak mineralleri tanımlamaya yardımcı olmanın bir yolu olarak kullanılır. O nasıl çalışır?
Kocam ve ben yeni bir ev aldık. Bu yaz çeşitli yarış pistlerine bir aylık bir gezi yapmayı planlamıştık bile.
Denver Nuggets böyle çıkamaz. Nuggets, Batı Konferansı Yarı Finallerinde Suns'a 3-0 mağlup olmakla kalmıyor, görünüşe göre taraftarları da yenilgi alıyor.
Hiç Boston gibi bir şehirde dolaşıp, Fort Worth, Texas gibi bir şehirde olduğundan daha iyi hissettirdiğini merak ettiniz mi? Bir şehir senin için yapıldı, bir yaya. Diğeri senin araban için yapıldı.
O gerçekten iyi, ama ah. Tenis tarihini tartışırken, insanların zevkleri her zaman kimin ne olduğu ve tuttukları yerler hakkındaki tartışmaları etkileyecek ve bulandıracaktır.
Hollywood'dan New York'a ve aradaki her yere, en sevdiğiniz yıldızların neler yaptığını görün
Pekingese köpeği Wasabi, tacı 2020 Westminster Kennel Club Köpek Şovu kazananı Siba the Standard Fino köpeğinden alıyor.
Beyoncé web sitesinde ikizleri Rumi ve Sir'e 4. yaş gününü kutlayarak "1 hediyeden daha iyi ne olabilir... 2" yazdı.
"Şimdiye kadar söylediğim en kolay EVET oldu!" Taryn Manning TMZ'ye anlattı
Cheugy kelimesini ilk duyduğumda gözlerimi devirmeden duramadım. O noktada uydurulan terim TikTok'ta viral bir sansasyona dönüştü, ateşli tartışmalara yol açtı ve bin yıllık Z Kuşağı kültür savaşını yeniden alevlendirdi.
Az önce yeni bir bilgisayar satın aldım (ki bu başlı başına korkunç derecede zorlu bir süreçti) ve ne kadar çok şeyin değiştiğine inanamıyorum. Masaüstümün cam bir paneli var ve gökkuşağının tüm renklerini parlıyor (klavye ve fare aynı şeyi yapıyor).
Otelin bize verdiği haritayı takip etmekte zorlandık. Bize söylenen kasabaya giden bir kısayoldu.
Ve ölene kadar aklında kalacak. Benim gibiyseniz, kendi kendine yardım türü hakkında şüpheleriniz var ve kurmaca için fazla gözünüz yok.