Özyineleme (Recursion) teoremi nedir?

Özyineleme (Recursion) teoremi nedir?

T, t:Ʃ^*×Ʃ^*→Ʃ^* fonksiyonunu hesaplayan bir Turing makinesi olsun. Ve bir r:Ʃ^*→Ʃ^* fonksiyonunu hesaplayan, her bir w için r(w)=t(,w) olan bir R Turing makinesi olsun. Kendi tanımını elde edip ardından bununla hesaplama yapabilen bir Turing makinesi yapmak için yalnızca, makinenin tanımını ekstra bir giriş olarak alan, yukarıda belirtildiği gibi bir T makinesi yapmak gerekir. Ardından recursion teoremi, tıpkı T gibi çalışan ancak tanımı otomatik olarak yapılmış yeni bir R makinesi üretir.

Başka bir açıdan:

Özyineleme (Recursion) teoremi, hesaplanabilirlik teorisinde ileri düzey çalışmalarda önemli bir rol oynayan matematiksel bir yaklaşımdır. Matematiksel mantığa, kendi kendini yeniden üreten sistemlerin teorisine ve hatta bilgisayar virüslerine bağlantıları vardır.

Özyineleme (Recursion) teoremini izah etmek için yaşam araştırmasında kullanılan bir paradokstan bahsedelim. Kendi kopyalarını oluşturabilen makineler yapma ihtimali var mıdır? sorusuna cevap aranmaktadır.

1. Canlılar makinelerdir.
2. Canlılar kendiliğinden çoğalabilirler.
3. Makineler kendi kendine çoğalamazlar.

Özyineleme (Recursion) teoremi 3.durumun yanlış olduğunu ortaya koyar.

Özyineleme (Recursion) teoremi:

T, t:E*xE*->E* fonksiyonunu işleyen bir Turing makinesidir. R, r:E*->E* fonksiyonunu her w girdisi için işleyen bir Turing makinesidir. r(w)=t(,w).

Bu tanıma göre T Turing Makinesi, R Turing makinesini otomatik olarak üretir.

Bilgisayar virüsleri, kendi kendilerine çoğalan bir yapıdadırlar.

Videolu anlatım:

4-6 MART 2021 ÇEVRİMİÇİ TÜBİTAK-2237-B PROJE EĞİTİMİ ETKİNLİĞİ KTÜ – TRABZON

Alanında dünyada öncü Prof. Dr. Yener EYÜBOĞLU, Prof. Dr. Asım KADIOĞLU, Prof. Dr. Nurettin YAYLI,>>>

06
Mar

ARDEB 1001 – 2020 Sonuçlarını Değerlendirme ve Yenilikler Toplantısı

>>>

19
Şub

2021 yılı içerisinde değerlendirilebilecek konferanslar

GLOBAL CONFERENCE on ENGINEERING RESEARCH online 2-5 June 2021 Abstract or Full Paper Submission: 2>>>

08
Şub

Sayfamda paylaştığım bütün Karikatürler silinmiştir

İsimsiz bir uyarı yorumuyla araştırdığım vakit gördüm ki bazı karikatüristler blog sayfalarında karikatür paylaşanlara dava>>>

23
Oca

MATLAB – Error: Functions cannot be indexed using {} or . indexing.

data = get(z9).OutputData{1}; satırında aşağıdaki şekilde hata vermekteydi. Error: Functions cannot be indexed using {}>>>

16
Oca

“ERASMUS+ Yüksek Öğretim” konulu seminer notları

“ERASMUS + Yüksek Öğretim” konulu seminer notları Dr. Öğretim Üyesi Kemal TÜTÜNCÜ hocam tarafından sunulan>>>

01
Oca

Akademik bir makalenin Giriş kısmı nasıl yazılmalıdır?

Sinem Toraman @Sinem_Trmn tarafından verilen “Akademik Yazımda Metodolojik Sorunlar ve Çözüm Önerileri” başlıklı eğitimde bir>>>

29
Ara

4. Uluslararası Mühendislik Teknolojileri Konferansı

4. Uluslararası Mühendislik Teknolojileri Konferansı: https://icente.selcuk.edu.tr/>>>

09
Eyl

Kaç kere yeniden doğar insan?

Kaç kere yeniden doğar insan? Kaç kere yeniden doğmalı? Peki her doğumda aynı anadan mı>>>

16
Tem

Optimizasyon problemlerindeki belirsizlikler

Normalde bir x değişkeni için f(x) fonksiyonunun her zaman aynı sonucu üretmesi beklenir. Fakat bazı>>>

16
Tem

Moodle – mysql_full_unicode_support

Bu uyarıya rağmen Moodle kurulumu yapıldığı zaman bazı karakterlerin ve emojilerin desteklenmeyeceği belirtilmektedir.>>>

31
May

Moodle SSL ayarı nasıl yapılır?

SSL kurulumunuzu bitirdikten sonra config.php dosyasındaki: $CFG->wwwroot = 'http://sorucevaptest.com/moodle'; kısmındaki adresi https şeklinde düzenleyiniz. $CFG->wwwroot>>>

31
May

Moodle – mysql_full_unicode_support#File_format

Çözüm: https://docs.moodle.org/38/en/MySQL_full_unicode_support phpmyadmin yetkisi olanlar için: SET GLOBAL innodb_file_format = barracuda SET GLOBAL innodb_file_per_table =>>>

31
May

Tanım Teorileri: Platon’un İnsanı ders notları…

Tanım Teorileri: Platon’un İnsanı ders notları… İnsanın Tanımına Dair ders notları… başlıklı yazı: https://www.ahmetcevahircinar.com.tr/2020/04/19/insanin-tanimina-dair-ders-notlari/ “Namazın>>>

2 Comments

25
Nis