मेरा विशेष रूप से भाषा के परिवारों से तात्पर्य है जो मनमाने ढंग से लंबे तारों को मानते हैं - n बिट्स या निर्णय सूची या {0,1} ^ n में निहित किसी भी अन्य "सरल" भाषा के संबंध में नहीं।
मैं "ऑटोमेटा-थ्योरिटिक" नियमित भाषाओं के बारे में "लॉजिक-थ्योरिटिक" के विपरीत पूछ रहा हूं: कुछ टुकड़े जैसी परीक्षण योग्य भाषाएं, शुरुआत-ऊंचाई-शून्य भाषाएं, स्थानीय रूप से परीक्षण योग्य भाषाएं, उस तरह की चीज। प्रासंगिक जटिलता पैरामीटर n न्यूनतम स्वीकार्य डीएफए का आकार है। तो, संक्षेप में कहें: क्या एन-स्टेट डीएफए का एक दिलचस्प परिवार है जो कुशलतापूर्वक पीएसी के लिए जाना जाता है?