गणना के समस्याओं के विश्लेषण में उपयोग किए जाने वाले अपरिमित प्रकार और मैमोरी वाले एक सैद्धांतिक कंप्यूटर को क्या कहा जाता है?