«semi-decidability» etiketlenmiş sorular

Fonksiyon numaralandırma kavramını öğrendik. Uygulamada, programlama dillerine karşılık gelirler. Geçen bir açıklamada, profesör tüm toplam fonksiyonların (yani her girdi için daima sonlanan fonksiyonlar) sınıfının numaralandırılabilir olmadığını belirtti . Bu, toplam fonksiyonların hepsini yazmamıza izin veren bir programlama dili tasarlayamayacağımız anlamına gelir; başkaları olmaz - ki bu güzel olurdu! Peki, düzgün …

29 computability  semi-decidability  enumeration 

Bir küme, doğal sayılarla bir birleşimi varsa sayılabilir ve üyelerini numaralandıran bir algoritma varsa , hesaplanabilir şekilde (ce) sayılabilir . Sayısal olarak numaralandırılabilir herhangi bir küme sayılabilir olmalıdır, çünkü sayımdan bir bijeksiyon oluşturabiliriz. Hesaplanabilir sayılamayacak sayılabilir set örnekleri var mı? Yani, bu set ile doğal sayılar arasında bir bijection vardır, …

15 computability  semi-decidability 

Bununla birlikte, pek çok "ünlü" kararlaştırılamaz sorun en azından yarı yarıya kesilebilir ve tamamlayıcıları kararsızdır. Her şeyden önce bir örnek durdurma sorunu ve bunun tamamlayıcısı olabilir. Ancak, birisi bana hem sorunun hem de tamamlayıcısının kararsız olduğu ve yarı kararsız olmadığı bir örnek verebilir mi? Köşegenleştirme dili Ld'yi düşündüm, ancak bana …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability