वाक्य 1: इन्फर में अमूर्त सिंटैक्स ट्री लिंटिंग के लिए एक डोमेन विशिष्ट भाषा भी है, जो कम्प्यूटेशन ट्री लॉजिक के लिए मॉडल चेकिंग से विचारों पर आधारित है वाक्यांश 2: इन्फर में विशिष्ट वाक्यविन्यास वृक्ष-लिंटिंग के लिए एक डोमेन-अमूर्त-भाषा भी है, जो गणना वृक्ष तर्क के लिए मॉडल जांच से विचारों पर आधारित है। प्रश्न: क्या वाक्य 1 और वाक्य 2 एक ही अर्थ व्यक्त करते हैं? हाँ या नहीं?
नहीं