Please translate the given English sentence to Hindi
एलन ट्यूरिंग द्वारा 1935-36 में एक परिकल्पित मशीन, जिसका प्रयोग अभिकलनीयता सिद्धांतों के साक्ष्य हेतु किया जाता है.
A hypothetical machine defined in 1935 - 36 by Alan Turing and used for computability theory proofs.