Microsoft Word'ün tek amaçlı (Turing tamamlanmamış) mekanik uygulamasını oluşturmak mümkün müdür? Yineleyiciler, birinci dereceden fonksiyonlar, programlama tekniklerinin tüm gamı gibi şeyleri uygulamak mümkün müdür? Dişliler ve diğer mekanik parçalar veri yapılarını veya hatta program nesnelerini temsil edebilir mi? Belirli bir noktada bu, genel amaçlı bir Turing eşdeğeri makine yapılmasını gerektiriyor mu, yoksa her fonksiyon, değişken vb., Volanlar ve / veya dişliler, cırcırlar şeklinde kendi benzersiz mekanik yapısına sahip olabilir mi? Özetle, standart bir bilgisayarda verilen herhangi bir yazılım parçasının mekanik bir tasarıma derlenip derlenemeyeceğini merak ediyorum.
Bence, Microsoft Word çalıştıran bir şey bir Turing Machine üzerinde çalıştırmak için bile gerek yok, çünkü Word'deki tüm prosedürler (muhtemelen) sonlandırılması (bir hata ofc hariç), ana olay döngü dışında bilinmelidir.
—
Realz Slaw
Bu mümkünse - mümkün görünüyorsa - derleyici görevi gören ve kaynak kodundan diğer makineler için taslaklar oluşturan, tamamlanmamış bir makine oluşturmak mümkün olmalıdır. Kendileri tamamlanmış olabilecek veya olmayabilecek makineler.
—
Nick Johnson
@Realz Lahana Salatası: G / Ç, VBA makroları veya uzantıları eklerseniz değil.Örneğin, Word'e sonsuz bir Word belgesi beslediyseniz şikayet edeceğinden şüpheliyim. Muhtemelen bir sınıra ulaşacak olan temel işletim sistemi.
—
reinierpost
@reinierpost ancak her rutinin tamamlanması gerekmez; ya makul bir şekilde feshedecekler ya da muhtemelen olmayacaklardı. Eğer sonsuz bir belge ile beslerseniz, muhtemelen sona ermeyecektir. Demek istediğim biz bu programlara sınırlandırabilirsiniz çünkü bir Turing tam bir dil kullanmak zorunda değilsiniz yapmak çoğu programları oldu biz olmayan sonsuz veri verilen sona erer kanıtlayabilirim, ve verilen sonsuz veri eğer sonlandırmak değil; ve bunu yapabilirseniz, Durdurma Sorunu ile ilgili bir sorun yoktur. TLDR; rutinlerinizin sona erdiğini kanıtlayamıyorsanız, korkunç bir programcısınız.
—
Realz Lahana Salatası