turing machines - A Decidability Question -
क्या वास्तविक संख्या पर फैसला करने वाला एनएफए हो सकता है?
नहीं, ऐसा नहीं हो सकता एक नैतिकतावादी परिमित ऑटोमॉन इनपुट के रूप में वर्णों की एक स्ट्रिंग स्वीकार करता है। सभी तारों का सेट गणना योग्य है, और इसलिए वास्तविक संख्याओं के सेट से छोटा है। इसलिए, आप एनएफए के इनपुट के रूप में एक मनमाना असली संख्या को भी सांकेतिक शब्दों में बदलना नहीं कर सकते हैं।
Comments
Post a Comment