इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें भाषा'' L'यदि और केवल यदि ~ के समकक्षता वर्गों की संख्या सीमित है तो नियमित है (इसका प्रमाण वाक्यविन्यास मोनोइड पर लेख में दिया गया है) ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "भाषा '' एल' नियमित है यदि और केवल यदि ~ के समकक्षता वर्गों की संख्या परिमित है; यदि यह मामला है, तो यह संख्या 'एल' को स्वीकार करने वाले न्यूनतम निर्धारक परिमित स्वचालन के राज्यों की संख्या के बराबर है। "