तो, प्रमाणिक प्रक्रियाएं मूल रूप से इस क्रियाविधि को नए रूप की सूची बनाने या यंत्रवत् रूप से परीक्षण करने के लिए क्रियाविधि हैं कि क्या दिए गए सूत्र किसी दिए गए सूत्र से उत्पन्न और अल्फा पर पहुंच सकते हैं या नहीं।