मैं ट्यूटोरियल सामग्री की तलाश कर रहा हूं जो कंपाइलर शुद्धता प्रमाण को कवर करता है, अधिमानतः एक प्रारंभिक ग्रेड छात्र के स्तर पर, डिपोटेशनल तरीकों का उपयोग करते हुए।
वैकल्पिक रूप से, क्या आप कुछ सरल संकलक उदाहरणों के बारे में जानते हैं जिनका उपयोग मैं मुद्दों को चित्रित करने के लिए कर सकता हूं? (पहला उदाहरण जो मेरे साथ हुआ था, वह इन्फिक्स से पोस्टफिक्स एक्सप्रेशन के लिए एक अनुवादक था। लेकिन यह सिंटैक्स पर इंडक्शन करने के अलावा कुछ और दिलचस्प दिखाने में विफल रहा।)