Saya mencoba mengembangkan beberapa gagasan tentang perbedaan-kalkulus antara Mesin Ideal Turing ideal yang dikandung oleh pengembang (mis. Apa pun yang dimaksudkan oleh pengembang perangkat lunak), sebut saja , dan Mesin yang mewakili perangkat lunak yang sebenarnya dirancang dan diimplementasikan , katakan masing-masing dan .
Secara khusus, minat saya adalah meneliti keterbatasan (karena Teorema Rice misalnya) dalam deteksi otomatis kesalahan dalam program perangkat lunak antara Bahasa yang diproses oleh mesin yang ideal, dan bahasa yang diproses oleh Mesin yang dikembangkan / diimplementasikan.
Setiap referensi ke pekerjaan sebelumnya yang bekerja dengan beberapa gagasan untuk mengeksplorasi perbedaan antara dua Mesin Turing yang ditentukan, atau pembatasan bahwa Bahasa Formal tingkat bawah akan sangat membantu dan dihargai; karena saya lebih suka mengutip daripada menulis :-).