उल्लेखनीय नियमित अभिव्यक्ति ऑटोमेटा की वर्गीकरण

Question

मैं आटोमोटिव में नियमित अभिव्यक्ति को बदलने के लिए एल्गोरिदम का एक वर्गीकरण तैयार करने की कोशिश कर रहा हूं ताकि विशिष्ट डोमेन में उनकी जटिलता गुणों के कुछ अनुभवजन्य परीक्षण किए जा सकें।

मुझे 'बड़े' नामों में से कई के बारे में पता है, जैसे,

---

थॉम्पसन

"रेगुलर एक्सप्रेशन सर्च अल्गोरिथम", थॉम्पसन, 1968

Glushkov

"एक नया द्विघात एल्गोरिथ्म एक नियमित अभिव्यक्ति को एक ऑटोमेटन में परिवर्तित करने के लिए", पोंटी, एट। अल, 1996

antimirov

"रेगुलर एक्सप्रेशंस और फ़िनाइट ऑटोमेटा कंस्ट्रक्शंस के आंशिक डेरिवेटिव्स", एंटीमाइरोव, 1996

का पालन करें

"ऑटोमेटा का पालन करें", इली, एट। अल, 2003;

"एक अभिव्यक्ति के अनुवर्ती आटोमेटन का कम्प्यूटिंग", चंपारनौद, एट। अल, 2002

Hromkovic

"रेगुलर एक्सप्रेशंस का अनुवाद छोटे ई-फ्री नॉनडेर्मिनिस्टिक परिमित ऑटोमेटा में", हर्मकोविक, एट। अल, 2001

---

और उनके विशिष्ट गुण (एप्सिलॉन-फ्री-नेस, नियतत्ववाद, आकार, न्यूनता, आदि) लेकिन मुझे पता है कि यह एक संपूर्ण सूची नहीं है।

मुझे विशेष रूप से एल्गोरिदम में दिलचस्पी है जो ऊपर सूचीबद्ध लोगों के लिए या तो काफी अलग समय जटिलताएं पेश करते हैं, और / या काफी अलग टोपोलॉजी हैं।

यदि आप दूसरों को जानते हैं, तो एक पेपर का लिंक जो निर्माण एल्गोरिथ्म का विस्तार से वर्णन करता है, बहुत सराहना की जाएगी (यदि मैं इसे लागू करने जा रहा हूं तो आवश्यक पढ़ें!)

संपादित करें: अनुरोध के अनुसार कुछ संदर्भ जोड़े।

Comments

@Radu GRIGore मैंने कुछ संदर्भ जोड़े। ये सबसे अच्छे संदर्भ हैं जो मैं इन ऑटोमेटा के लिए जानता हूं, लेकिन अन्य भी हो सकते हैं।

— s8soj3o289

ग्लुशकोव के लिए मेरा सामान्य संदर्भ जे। बर्स्टेल और जे.ई. पिन, "स्थानीय भाषाएं और बेरी-सेठी एल्गोरिथ्म", 1996.

— सिल्वेन

वैसे, आप उन एल्गोरिदम के निर्माण पर संदर्भ के लिए वाउकसन सी ++ लाइब्रेरी में कुछ एल्गोरिदम का कार्यान्वयन पा सकते हैं। trac.lrde.org/vaucanson/browser/include/vaucanson/algorithms (जिसमें standard_of = Glushkov, thompson_of = Thompson, der_term_automaton (Antimirov, brzozowski = Brzozowski)

— Michaël Cadilhac

@ माइकल-कैडिल्हक सूचक के लिए धन्यवाद। काश मैं इस बारे में जानता इससे पहले कि मैं दूसरों को लागू करूँ! मैं जरूर देखूंगा।

— s8soj3o289

Answer 1

वाटसन (Tech। Rep। Univ। Eindhoven 1995) ने परिमित ऑटोमेटा निर्माण एल्गोरिदम की एक वर्गीकरण लिखा है; कुछ और हालिया घटनाक्रम नीचे पाए गए हैं।

एप्सिलॉन-संक्रमण के साथ एनएफए के लिए, सिप्पू / सोइसलोन-सोइनिन (स्प्रिंगर, 1998) द्वारा पार्सिंग सिद्धांत पुस्तक में थॉम्पसन के निर्माण का एक संस्करण शामिल है। इली और यू (I & C 2003) और गुलन और फर्नाउ (FSTTCS 2008) शास्त्रीय निर्माण के परिष्कृत संस्करण देते हैं। नियमित अभिव्यक्ति के लिए इसी एप्सिलॉन-एनएफए के न्यूनतम आवश्यक आकार को ग्रुबर और गुलन (LATA 2010) द्वारा आगे अध्ययन किया गया है। थॉम्पसन के निर्माण से उत्पन्न अंतर्निहित डिग्राफ्स की संरचना का अध्ययन Giammarresi, Ponty, Wood & Ziadi (Discr। Appl। Math 2004) और Gulan (Tech। Rep। Univ। Trier, 2010) द्वारा किया जाता है।

एप्सिलॉन-मुक्त एनएफए के बारे में, मैं बेरी एंड सेठी (टीसीएस 1986) और ब्रुग्मेन्न-क्लेन (टीसीएस 1993) द्वारा पहले के काम का उल्लेख करना चाहता हूं, लेकिन संभवतः वह वाटसन के करतंत्र द्वारा कवर किया गया है।

$n\cdot 2^{O(\log^*n)}$

यह भी ध्यान दें: नियमित अभिव्यक्ति मिलान के लिए तेज एल्गोरिदम के बारे में, मुझे बिल और थोरुप (आईसीएएलपी 2009, सोडा 2010) द्वारा हाल के काम के बारे में पता है। वे शास्त्रीय थॉम्पसन निर्माण का उपयोग करते हैं (बेशक गति प्राप्त करने के लिए कई चालें)।

Comments

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

— s8soj3o289

यह भी निश्चित रूप से स्पष्ट नहीं है कि किसी उत्तर का चयन करने के संदर्भ में शिष्टाचार क्या निर्धारित करता है। आपका उत्तर मेरे द्वारा पहले चुने गए व्यक्ति से स्पष्ट रूप से श्रेष्ठ है।

— s8soj3o289

केवल पुस्तक का टीज़र ऑनलाइन मुफ्त में उपलब्ध है।

— हरमन ग्रबेर

औसत स्थिति राज्य जटिलता के बारे में, एम। होलज़र (टीसीएस 2007) के साथ परिमित भाषाओं के लिए औसत एनएफए आकार पर कागज भी है; लेकिन सबसे अधिक संबंधित Glushkov automata (LATA 2009) पर Nicaud द्वारा किया गया काम प्रतीत होता है; एक दिलचस्प शीर्षक के साथ Nicaud, Pivoteau & Razet (FSTTCS 2010) का आगामी पेपर भी है - मैं अभी तक इस पर ध्यान नहीं दे पाया।

— हरमन ग्रबेर

Gouveia, Moreira & Reis (CiE 2010) आरई से एनएफए रूपांतरण पर प्रयोग चलाते हैं। बड़ौदा, मैकियाव्लो, मोरेरा और रीस (डीएलटी 2010) स्थिति की स्थिति (ग्लूशकोव) ऑटोमेटा और औसत पर समीकरण (एंटिमीरोव) ऑटोमेटा की संख्या की तुलना करते हैं। यह ब्याज की भी हो सकती है।

— हरमन ग्रुबर

Answer 2

आपकी सूची में एक पर विचार नहीं किया गया, एसीएम 1964 के जर्नल, जानूस ब्रज़ोज़ोव्स्की द्वारा नियमित अभिव्यक्तियों के डेरिवेटिव हैं , जिसे हाल ही में स्कॉट-ओवेन्स, जॉन रेपी और आरोन ट्यूरन द्वारा नियमित अभिव्यक्ति अभिव्यक्ति पुन: जांच में लिया गया था। जर्नल ऑफ़ फंक्शनल प्रोग्रामिंग (2009), 19: 173-190 , जो नियमित अभिव्यक्ति के लिए विस्तारित संकेतन के लिए तकनीक का व्यावहारिक कार्यान्वयन प्रदान करते हैं।

Comments

एंटिमीरोव ब्रोज़ोज़ोस्की का एक गैर-निर्धारक संस्करण है।

— सिल्वेन

नाम निश्चित रूप से परिचित लग रहा था।

— डेव क्लार्क

'पुनः जाँच' लेख के लिए धन्यवाद, मैंने ऐसा नहीं देखा था!

— s8soj3o289