इष्टतमता सिद्धांत

भाषाविज्ञान में, इष्टतमता सिद्धांत (अक्सर संक्षिप्त रूप से ओटी) एक भाषाई मॉडल है जो प्रस्तावित करता है कि भाषा के देखे गए रूप परस्पर विरोधी बाधाओं की इष्टतम संतुष्टि से उत्पन्न होते हैं। ओटी ध्वनिविज्ञान विश्लेषण के अन्य दृष्टिकोणों से भिन्न है, जो आमतौर पर बाधाओं के बजाय नियमों का उपयोग करते हैं। हालाँकि, प्रतिनिधित्व के ध्वन्यात्मक मॉडल, जैसे कि ऑटोसेगमेंटल ध्वन्यात्मकता, प्रोसोडी (भाषाविज्ञान), और रैखिक ध्वन्यात्मकता (एसपीई), नियम-आधारित और बाधा-आधारित मॉडल के साथ समान रूप से संगत हैं। ओटी व्याकरण को ऐसे सिस्टम के रूप में देखता है जो इनपुट से आउटपुट तक मैपिंग प्रदान करता है; आम तौर पर, इनपुट को अंतर्निहित प्रतिनिधित्व के रूप में और आउटपुट को उनकी सतही प्राप्ति के रूप में माना जाता है। यह उत्पादक व्याकरण के बड़े ढांचे के भीतर एक दृष्टिकोण है।

भाषाविज्ञान में, इष्टतमता सिद्धांत की उत्पत्ति 1991 में एलन प्रिंस और पॉल स्मोलेंस्की द्वारा दिए गए एक भाषण में हुई है। जिसे बाद में 1993 में उन्हीं लेखकों द्वारा एक पुस्तक पांडुलिपि में विकसित किया गया था।

अवलोकन
सिद्धांत के तीन बुनियादी घटक हैं:


 * जेनरेटर एक इनपुट लेता है, और संभावित आउटपुट, या उम्मीदवारों की सूची तैयार करता है,
 * बाधा घटक उम्मीदवारों के बीच निर्णय लेने के लिए सख्ती से रैंक की गई उल्लंघन योग्य बाधाओं के रूप में मानदंड प्रदान करता है, और
 * मूल्यांकनकर्ता बाधाओं के आधार पर इष्टतम उम्मीदवार का चयन करता है, और यह उम्मीदवार आउटपुट है।

इष्टतमता सिद्धांत मानता है कि ये घटक सार्वभौमिक हैं। व्याकरण में अंतर सार्वभौमिक बाधा सेट की विभिन्न रैंकिंग को दर्शाता है,. भाषा अधिग्रहण के हिस्से को इन बाधाओं की रैंकिंग को समायोजित करने की प्रक्रिया के रूप में वर्णित किया जा सकता है।

भाषा पर लागू इष्टतमता सिद्धांत मूल रूप से 1991 में भाषाविदों एलन प्रिंस और पॉल स्मोलेंस्की द्वारा प्रस्तावित किया गया था, और बाद में प्रिंस और जॉन मैक्कार्थी (भाषाविद्)|जॉन जे मैक्कार्थी द्वारा इसका विस्तार किया गया। यद्यपि इष्टतमता सिद्धांत में अधिकांश रुचि ध्वनि विज्ञान में इसके उपयोग से जुड़ी हुई है, जिस क्षेत्र में इष्टतमता सिद्धांत को पहली बार लागू किया गया था, यह सिद्धांत भाषा विज्ञान के अन्य उपक्षेत्रों (जैसे वाक्यविन्यास और शब्दार्थ) पर भी लागू होता है।

इष्टतमता सिद्धांत भाषाई सार्वभौमिकता, भाषाई टाइपोलॉजी और भाषा अधिग्रहण की जांच पर केंद्रित होने के कारण जनरेटिव व्याकरण के अन्य सिद्धांतों की तरह है।

इष्टतमता सिद्धांत की जड़ें तंत्रिका नेटवर्क अनुसंधान में भी हैं। यह आंशिक रूप से हार्मोनिक व्याकरण के कनेक्शनवादी सिद्धांत के विकल्प के रूप में उभरा, जिसे 1990 में गेराल्डिन लीजेंड्रे, योशिहिरो मियाता और पॉल स्मोलेंस्की द्वारा विकसित किया गया था। कनेक्शनवादी-जैसी भारित बाधाओं के साथ इष्टतमता सिद्धांत के वेरिएंट को हाल के काम (पैटर 2009) में अपनाया जाना जारी है।

इनपुट और : उम्मीदवार सेट
इष्टतमता सिद्धांत मानता है कि इनपुट पर कोई भाषा-विशिष्ट प्रतिबंध नहीं हैं। इसे कहते हैं आधार की समृद्धि. प्रत्येक व्याकरण हर संभव इनपुट को संभाल सकता है। उदाहरण के लिए, व्यंजन क्लस्टर के बिना एक भाषा को इनपुट जैसे से निपटने में सक्षम होना चाहिए. जटिल समूहों के बिना भाषाएँ इस समस्या को कैसे हल करेंगी, इस पर भिन्न हैं; कुछ में एपेन्थेसिस होगा (उदा., या यदि सभी कोडा पर प्रतिबंध लगा दिया गया है) और कुछ एलिज़न (उदा.) ).

किसी भी संख्या में आउटपुट उम्मीदवार उत्पन्न करने के लिए स्वतंत्र है, भले ही वे इनपुट से कितना भी विचलित हों। इसे विश्लेषण की स्वतंत्रता कहते हैं. भाषा का व्याकरण (बाधाओं की रैंकिंग) यह निर्धारित करता है कि उम्मीदवारों में से किसका मूल्यांकन इष्टतम के रूप में किया जाएगा.

: बाधा सेट
इष्टतमता सिद्धांत में, प्रत्येक बाधा सार्वभौमिक है। हर भाषा में एक समान है। दो बुनियादी प्रकार की बाधाएँ हैं:

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

की सार्वभौमिक प्रकृति भाषा टाइपोलॉजी के बारे में कुछ तत्काल भविष्यवाणियाँ करता है। यदि व्याकरण भिन्न-भिन्न रैंकिंग के कारण ही भिन्न होते हैं, तो संभावित मानव भाषाओं का सेट मौजूद बाधाओं से निर्धारित होता है। इष्टतमता सिद्धांत भविष्यवाणी करता है कि रैंकिंग में जितने क्रमपरिवर्तन हैं, उससे अधिक व्याकरण नहीं हो सकते. संभावित रैंकिंग की संख्या बाधाओं की कुल संख्या के कारख़ाने का  के बराबर है, इस प्रकार फैक्टोरियल टाइपोलॉजी शब्द को जन्म मिलता है। हालाँकि, इन सभी संभावित व्याकरणों को अलग करना संभव नहीं हो सकता है, क्योंकि हर बाधा का हर भाषा में अवलोकनीय प्रभाव होने की गारंटी नहीं है। की बाधाओं पर कुल दो आदेश  इनपुट-आउटपुट मैपिंग की समान श्रेणी उत्पन्न कर सकता है, लेकिन दो बाधाओं की सापेक्ष रैंकिंग में भिन्नता है जो एक दूसरे के साथ संघर्ष नहीं करते हैं। चूँकि इन दोनों रैंकिंग को अलग करने का कोई तरीका नहीं है, इसलिए कहा जाता है कि वे एक ही व्याकरण से संबंधित हैं। ओटी में एक व्याकरण एक एंटीमैट्रोइड के बराबर है। यदि संबंधों के साथ रैंकिंग की अनुमति दी जाती है, तो संभावनाओं की संख्या एक फैक्टोरियल के बजाय एक ऑर्डर की गई बेल संख्या है, जो काफी बड़ी संख्या में संभावनाओं की अनुमति देती है।

वफादारी बाधाएं
मैक्कार्थी और प्रिंस (1995) ने वफादारी की बाधाओं के तीन बुनियादी परिवारों का प्रस्ताव रखा:


 * मलोत्सर्ग (अधिकतम से) को रोकता है।
 * एपेंथिसिस (आश्रित से) को प्रतिबंधित करता है।
 * (एफ) फीचर एफ (समान से) के मूल्य में परिवर्तन पर रोक लगाता है।

प्रत्येक बाधा के नाम के साथ -IO या -BR जोड़ा जा सकता है, जो क्रमशः इनपुट/आउटपुट और बेस/रिडुप्लिकेंट के लिए है - जिनमें से उत्तरार्द्ध का उपयोग दोहराव के विश्लेषण में किया जाता है - यदि वांछित हो। एफ इन (एफ) को एक विशिष्ट विशेषता के नाम से प्रतिस्थापित किया जाता है, जैसे कि (आवाज़)।

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

मैक्कार्थी और प्रिंस (1995) भी प्रस्ताव करते हैं:


 * , उल्लंघन तब होता है जब एक शब्द- या रूपिम-आंतरिक खंड हटा दिया जाता है (इनपुट-कॉन्टिग्युटी से);
 * , उल्लंघन तब होता है जब एक खंड को शब्द- या रूपिम-आंतरिक रूप से डाला जाता है (आउटपुट-कॉन्टिगुएटी से);
 * , जब कुछ खंडों का क्रम बदल जाता है तो इसका उल्लंघन होता है (अर्थात् मेटाथिसिस (भाषाविज्ञान) को प्रतिबंधित करता है);
 * , इसका उल्लंघन तब होता है जब दो या दो से अधिक खंडों को एक के रूप में महसूस किया जाता है (अर्थात संलयन (भाषाविज्ञान) को प्रतिबंधित करता है); और
 * , इसका उल्लंघन तब होता है जब एक खंड को कई खंडों के रूप में महसूस किया जाता है (यानी अनपैकिंग (भाषा विज्ञान) या स्वर को तोड़ने पर रोक लगाता है - इसके विपरीत) ).

चिह्नित बाधाएं
प्रिंस और स्मोलेंस्की (1993) द्वारा शुरू की गई मार्कडनेस बाधाओं में शामिल हैं:

साहित्य में सटीक परिभाषाएँ भिन्न-भिन्न होती हैं। कुछ बाधाओं को कभी-कभी कवर बाधा के रूप में उपयोग किया जाता है, जो बाधाओं के एक सेट के लिए खड़े होते हैं जो पूरी तरह से ज्ञात या महत्वपूर्ण नहीं होते हैं।

कुछ चिह्नित बाधाएं संदर्भ-मुक्त हैं और अन्य संदर्भ-संवेदनशील हैं। उदाहरण के लिए, *वीnasal कहा गया है कि स्वरों को किसी भी स्थिति में अनुनासिक नहीं होना चाहिए और इस प्रकार यह संदर्भ-मुक्त है, जबकि *Voralएन का कहना है कि टॉटोसिलेबिक नासिका से पहले स्वर मौखिक नहीं होने चाहिए और इस प्रकार यह संदर्भ-संवेदनशील है।

स्थानीय संयोजन
दो बाधाओं को एक ही बाधा के रूप में जोड़ा जा सकता है, जिसे स्थानीय संयोजन कहा जाता है, जो किसी दिए गए डोमेन, जैसे खंड, शब्दांश या शब्द के भीतर दोनों बाधाओं का उल्लंघन होने पर हर बार केवल एक उल्लंघन देता है। उदाहरण के लिए, []segment एक कोडा में प्रति ध्वनि अवरोध का एक बार उल्लंघन किया जाता है (वीओपी का अर्थ ध्वनि अवरोध निषेध है), और इसे समान रूप से लिखा जा सकता है. श्रृंखला बदलाव का विश्लेषण करते समय उत्पन्न होने वाली ध्वनि संबंधी अस्पष्टता की समस्या को दूर करने के तरीके के रूप में स्थानीय संयोजनों का उपयोग किया जाता है।

: इष्टतमता की परिभाषा
मूल प्रस्ताव में, दो उम्मीदवारों, ए और बी को देखते हुए, ए एक बाधा पर बी की तुलना में बेहतर या अधिक हार्मोनिक है, यदि ए बी की तुलना में कम उल्लंघन करता है। यदि ए कम उल्लंघन करता है तो उम्मीदवार ए संपूर्ण बाधा पदानुक्रम पर बी की तुलना में अधिक हार्मोनिक है। ए और बी को अलग करने वाली उच्चतम रैंक वाली बाधा का उल्लंघन। ए अपने उम्मीदवार सेट में इष्टतम है यदि यह अन्य सभी उम्मीदवारों की तुलना में बाधा पदानुक्रम पर बेहतर है। हालाँकि, यह परिभाषा नियमित भाषा से अधिक अंतिम संबंध मॉडल करने में सक्षम है। उदाहरण के लिए, बाधाएं सी दी गई हैं1, सी2, और सी3, जहां सी1 C पर हावी है2, जो C पर हावी है3 (सी1 ≫ सी2 ≫ सी3), ए बी को हरा देता है, या बी की तुलना में अधिक हार्मोनिक है, यदि ए के पास उच्चतम रैंकिंग बाधा पर बी की तुलना में कम उल्लंघन हैं जो उन्हें उल्लंघनों की एक अलग संख्या प्रदान करता है (ए इष्टतम है यदि ए बी को हराता है और उम्मीदवार सेट में केवल ए और बी शामिल हैं) ). यदि A और B, C पर टाई करते हैं1, लेकिन A, C पर B से बेहतर करता है2, ए इष्टतम है, भले ही ए ने सी के और भी कई उल्लंघन किए हों3 बी की तुलना में. इस तुलना को अक्सर एक झांकी के साथ चित्रित किया जाता है। सूचकांक (टाइपोग्राफी) इष्टतम उम्मीदवार को चिह्नित करता है, और प्रत्येक कोशिका किसी दिए गए उम्मीदवार और बाधा के प्रत्येक उल्लंघन के लिए एक तारांकन चिह्न प्रदर्शित करती है। एक बार जब कोई उम्मीदवार किसी अन्य उम्मीदवार की तुलना में उन्हें अलग करने वाली उच्चतम रैंकिंग बाधा पर खराब प्रदर्शन करता है, तो यह एक घातक उल्लंघन होता है (झांकी में विस्मयादिबोधक चिह्न द्वारा और निचले रैंक की बाधाओं के लिए छायांकित कोशिकाओं द्वारा चिह्नित)। एक बार जब कोई उम्मीदवार घातक उल्लंघन करता है, तो यह इष्टतम नहीं हो सकता है, भले ही वह शेष पर अन्य उम्मीदवारों से बेहतर प्रदर्शन करता हो.

अन्य सांकेतिक सम्मेलनों में शामिल हैं बिना रैंक वाले या समान रूप से रैंक किए गए बाधाओं के स्तंभों को अलग करने वाली बिंदीदार रेखाएं, अस्थायी रूप से रैंक की गई झांकी में एक उंगली के स्थान पर एक चेक मार्क ✔ (हार्मोनिक को दर्शाता है लेकिन निर्णायक रूप से इष्टतम नहीं), और एक गोलाकार तारांकन ⊛ एक विजेता द्वारा उल्लंघन को दर्शाता है; आउटपुट उम्मीदवारों में, कोण कोष्ठक $\langle \rangle$ ध्वन्यात्मक बोध में शामिल खंडों को निरूपित करें, और □ और □́ क्रमशः एक भावात्मक व्यंजन और स्वर को निरूपित करें। चिन्ह ≫ से बहुत बड़ा (कभी-कभी नेस्टेड ⪢) एक बाधा के दूसरे पर प्रभुत्व को दर्शाता है ( C1 ≫ सी2= सी1 C पर हावी है2) जबकि सफल ऑपरेटर ≻ आउटपुट उम्मीदवारों की तुलना में बेहतर सामंजस्य को दर्शाता है (A ≻ B = A, B की तुलना में अधिक हार्मोनिक है)।

बाधाओं को सख्त वर्चस्व के पदानुक्रम में स्थान दिया गया है। सख्त वर्चस्व की कठोरता का मतलब है कि एक उम्मीदवार जो केवल उच्च-रैंक वाली बाधा का उल्लंघन करता है, वह पदानुक्रम पर उस उम्मीदवार की तुलना में बुरा प्रदर्शन करता है जो ऐसा नहीं करता है, भले ही दूसरे उम्मीदवार ने हर अन्य निचली-रैंक वाली बाधा पर खराब प्रदर्शन किया हो। इसका यह भी अर्थ है कि बाधाओं का उल्लंघन किया जा सकता है; जीतने वाले (यानी सबसे सामंजस्यपूर्ण) उम्मीदवार को सभी बाधाओं को पूरा करने की आवश्यकता नहीं है, जब तक कि किसी भी प्रतिद्वंद्वी उम्मीदवार के लिए जो कुछ बाधाओं पर विजेता से बेहतर प्रदर्शन करता है, वहां एक उच्च रैंक की बाधा होती है जिस पर विजेता उस प्रतिद्वंद्वी से बेहतर प्रदर्शन करता है। किसी भाषा के भीतर, एक बाधा को इतना ऊंचा स्थान दिया जा सकता है कि उसका हमेशा पालन किया जाए; इसे इतना नीचे स्थान दिया जा सकता है कि इसका कोई देखने योग्य प्रभाव न हो; या, इसकी कुछ मध्यवर्ती रैंकिंग हो सकती है। अचिह्नित का उद्भव शब्द उन स्थितियों का वर्णन करता है जिनमें एक चिह्नित बाधा की एक मध्यवर्ती रैंकिंग होती है, जिससे कि कुछ रूपों में इसका उल्लंघन होता है, लेकिन फिर भी जब उच्च-रैंक वाली बाधाएं अप्रासंगिक होती हैं तो इसका प्रभाव देखने योग्य होता है।

मैक्कार्थी और प्रिंस (1994) द्वारा प्रस्तावित एक प्रारंभिक उदाहरण बाधा है, जो अक्षरों को व्यंजन में समाप्त होने से रोकता है। बी एलन हाई  में,  को इतनी ऊंची रैंक नहीं दी गई है कि हमेशा उसका पालन किया जा सके, जैसा कि टायनान जैसी जड़ों में देखा गया है (इनपुट के प्रति वफादारी अंतिम को हटाने से रोकती है) ). लेकिन, दोहराव रूप मा-तयना-तयन्न में 'बार-बार पीछे छूट जाना', अंतिम  कॉपी नहीं किया गया है. मैक्कार्थी और प्रिंस के विश्लेषण के तहत, ऐसा इसलिए है क्योंकि इनपुट के प्रति निष्ठा दोबारा दोहराई गई सामग्री पर लागू नहीं होती है, और  इस प्रकार काल्पनिक मा-तायना-तायना के ऊपर मा-तायना-तायना को प्राथमिकता देने के लिए स्वतंत्र है (जिसमें इसका अतिरिक्त उल्लंघन है) ).

कुछ इष्टतमता सिद्धांतकार तुलनात्मक झांकियों के उपयोग को पसंद करते हैं, जैसा कि प्रिंस (2002बी) में वर्णित है। तुलनात्मक झांकी क्लासिक या फ्लाईस्पेक झांकी के समान ही जानकारी प्रदर्शित करती है, लेकिन जानकारी इस तरह प्रस्तुत की जाती है कि यह सबसे महत्वपूर्ण जानकारी को उजागर करती है। उदाहरण के लिए, उपरोक्त झांकी को निम्नलिखित तरीके से प्रस्तुत किया जाएगा।

तुलनात्मक झांकी में प्रत्येक पंक्ति किसी व्यक्तिगत उम्मीदवार के बजाय विजेता-हारे हुए जोड़े का प्रतिनिधित्व करती है। उन कोशिकाओं में जहां बाधाएं विजेता-हारने वाले जोड़े का आकलन करती हैं, डब्ल्यू को रखा जाता है यदि उस कॉलम में बाधा विजेता को पसंद करती है, एल यदि बाधा हारने वाले को पसंद करती है, और ई यदि बाधा जोड़ी के बीच अंतर नहीं करती है। इस तरह से डेटा प्रस्तुत करने से सामान्यीकरण करना आसान हो जाता है। उदाहरण के लिए, लगातार रैंकिंग पाने के लिए कुछ W को सभी L पर हावी होना चाहिए। ब्रासोवेनु और प्रिंस (2005) एक प्रक्रिया का वर्णन करते हैं जिसे फ़्यूज़न के रूप में जाना जाता है और किसी दिए गए तर्क के लिए आवश्यक और पर्याप्त शर्तों को प्राप्त करने के लिए तुलनात्मक झांकी में डेटा प्रस्तुत करने के विभिन्न तरीकों का वर्णन किया गया है।

उदाहरण
एक सरल उदाहरण के रूप में, अंग्रेजी बहुवचन की अभिव्यक्ति पर विचार करें:


 * (कुत्ते)
 * (बिल्ली की)
 * (व्यंजन)

वर्चस्व के अवरोही क्रम में निम्नलिखित बाधा सेट पर भी विचार करें:

इससे कोई फर्क नहीं पड़ता कि बाधाओं को कैसे पुनः व्यवस्थित किया जाता है, एलोमोर्फ हमेशा हारेंगे. इसे हार्मोनिक बाउंडिंग कहा जाता है। उम्मीदवार द्वारा किए गए उल्लंघन द्वारा किए गए उल्लंघनों का एक उपसमूह है ; विशेष रूप से, यदि आप किसी स्वर को उपलेखित करते हैं, तो रूपिम की आवाज़ को बदलना बाधाओं का अनावश्यक उल्लंघन है। में  झांकी, एक उम्मीदवार है  जिसका कोई भी उल्लंघन नहीं होता है। समस्या के बाधा सेट के भीतर,  अन्य सभी संभावित उम्मीदवारों को सामंजस्यपूर्ण रूप से बांधता है। इससे पता चलता है कि एक उम्मीदवार को दूसरे उम्मीदवार को सामंजस्यपूर्ण रूप से बांधने के लिए विजेता होने की आवश्यकता नहीं है।

ऊपर की झांकी को तुलनात्मक झांकी प्रारूप का उपयोग करके नीचे दोहराया गया है।

के लिए तुलनात्मक झांकी से, यह देखा जा सकता है कि इन बाधाओं की कोई भी रैंकिंग देखे गए आउटपुट का उत्पादन करेगी. क्योंकि हारने वालों को तरजीह देने वाली कोई तुलना नहीं होती, इन बाधाओं की किसी भी रैंकिंग के तहत जीतता है; इसका मतलब यह है कि इस इनपुट के आधार पर कोई रैंकिंग स्थापित नहीं की जा सकती।

के लिए झांकी में एक W और एक L वाली पंक्तियाँ हैं। इससे यह पता चलता है, , और  सभी पर हावी होना चाहिए ; हालाँकि, इस इनपुट के आधार पर उन बाधाओं के बीच कोई रैंकिंग स्थापित नहीं की जा सकती है। इस झांकी के आधार पर, निम्नलिखित रैंकिंग स्थापित की गई है:

के लिए झांकी दर्शाता है कि वांछित परिणाम की भविष्यवाणी करने के लिए कई और रैंकिंग आवश्यक हैं। तीसरी पंक्ति कुछ नहीं कहती; तीसरी पंक्ति में हारने वालों को पसंद करने वाली कोई तुलना नहीं है। पहली पंक्ति से पता चलता है कि या तो *एसएस या  हावी होना चाहिए, के बीच तुलना के आधार पर  और. चौथी पंक्ति यह दर्शाती है हावी होना चाहिए. दूसरी पंक्ति दर्शाती है कि या तो *SS या हावी होना चाहिए. से झांकी, यह स्थापित किया गया था  हावी है ; इसका मतलब है कि *एसएस को हावी होना चाहिए.

अब तक, निम्नलिखित रैंकिंग को आवश्यक माना गया है:
 * *एसएस, ≫  ≫

जबकि ऐसा संभव है हावी हो सकता है, यह आवश्यक नहीं है; ऊपर दी गई रैंकिंग अवलोकन के लिए पर्याप्त है  उभर कर आने के लिए।

जब झांकियों की रैंकिंग को संयोजित किया जाता है, तो निम्नलिखित रैंकिंग सारांश दिया जा सकता है:
 * *एसएस, ≫,  ≫
 * या
 * *एसएस,, ≫  ≫

लगाने के लिए दो संभावित स्थान हैं रैंकिंग को रैखिक रूप से लिखते समय; कोई भी वास्तव में सटीक नहीं है। पहला तात्पर्य यह है कि *एसएस और  हावी होना चाहिए, और दूसरा तात्पर्य यह है  हावी होना चाहिए. इनमें से कोई भी सत्य नहीं है, जो इस तरह से एक रैखिक फैशन में रैंकिंग लिखने में विफलता है। इस प्रकार की समस्याएं ही कारण हैं कि अधिकांश भाषाविद् आवश्यक और पर्याप्त रैंकिंग का प्रतिनिधित्व करने के लिए जाली (आदेश)  का उपयोग करते हैं, जैसा कि नीचे दिखाया गया है।

एक आरेख जो इस शैली में बाधाओं की आवश्यक रैंकिंग का प्रतिनिधित्व करता है वह हस्से आरेख है।

आलोचना
इष्टतमता सिद्धांत ने पर्याप्त मात्रा में आलोचना को आकर्षित किया है, जिनमें से अधिकांश ध्वनिविज्ञान (वाक्यविन्यास या अन्य क्षेत्रों के बजाय) में इसके अनुप्रयोग पर केंद्रित है। यह दावा किया जाता है कि इष्टतमता सिद्धांत ध्वन्यात्मक अस्पष्टता का हिसाब नहीं दे सकता (उदाहरण के लिए, Idsardi 2000 देखें)। व्युत्पन्न ध्वनिविज्ञान में, ऐसे प्रभाव देखे जा सकते हैं जो सतही स्तर पर अस्पष्ट हैं लेकिन अपारदर्शी नियम क्रम के माध्यम से समझाए जा सकते हैं; लेकिन इष्टतमता सिद्धांत में, जिसमें नियमों को संचालित करने के लिए कोई मध्यवर्ती स्तर नहीं है, इन प्रभावों को समझाना मुश्किल है।

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

ऐसी घटनाओं की अस्पष्टता को इष्टतमता सिद्धांत में कोई सीधा स्पष्टीकरण नहीं मिलता है, क्योंकि सैद्धांतिक मध्यवर्ती रूप पहुंच योग्य नहीं हैं (बाधाएं केवल सतही रूप और/या अंतर्निहित रूप को संदर्भित करती हैं)। इसे ध्यान में रखते हुए कई प्रस्ताव तैयार किए गए हैं, लेकिन अधिकांश प्रस्ताव इष्टतमता सिद्धांत की बुनियादी वास्तुकला को महत्वपूर्ण रूप से बदल देते हैं और इसलिए अत्यधिक विवादास्पद होते हैं। बार-बार, ऐसे परिवर्तन नए प्रकार की बाधाएँ जोड़ते हैं (जो सार्वभौमिक वफ़ादारी या चिह्नितता बाधाएँ नहीं हैं), या गुणों को बदल देते हैं (जैसे कि क्रमिक व्युत्पत्ति की अनुमति देना) या. इनके उदाहरणों में जॉन मैक्कार्थी (भाषाविद्)|जॉन जे. मैक्कार्थी का सहानुभूति सिद्धांत और उम्मीदवार श्रृंखला सिद्धांत, सहित कई अन्य शामिल हैं।

एक प्रासंगिक मुद्दा सर्कुलर चेन शिफ्ट्स का अस्तित्व है, यानी ऐसे मामले जहां इनपुट आउटपुट के लिए मानचित्र, लेकिन इनपुट  आउटपुट के लिए मानचित्र. इष्टतमता सिद्धांत के कई संस्करण इसे असंभव बताते हैं (देखें मोरेटन 2004, प्रिंस 2007)।

इष्टतमता सिद्धांत की भाषण उत्पादन/धारणा के एक असंभव मॉडल के रूप में भी आलोचना की जाती है: संभावित उम्मीदवारों की अनंत संख्या की गणना और तुलना करने में प्रक्रिया में असीम रूप से लंबा समय लगेगा। Idsardi (2006) इस स्थिति पर तर्क देते हैं, हालांकि अन्य भाषाविद् इस दावे का इस आधार पर खंडन करते हैं कि Idsardi बाधा सेट और उम्मीदवारों के बारे में अनुचित धारणाएं बनाता है, और इष्टतमता सिद्धांत के अधिक मध्यम तात्कालिकताएं ऐसी महत्वपूर्ण कम्प्यूटेशनल समस्याएं प्रस्तुत नहीं करती हैं (कोर्नाई (2006 देखें)) और हेंज, कोबेले और रिगल (2009))। इष्टतमता सिद्धांत की इस आलोचना का एक और आम खंडन यह है कि रूपरेखा पूरी तरह से प्रतिनिधित्वात्मक है। इस दृष्टिकोण से, इष्टतमता सिद्धांत को भाषाई क्षमता का एक मॉडल माना जाता है और इसलिए इसका उद्देश्य भाषाई प्रदर्शन की विशिष्टताओं को समझाना नहीं है।  इष्टतमता सिद्धांत पर एक और आपत्ति यह है कि यह तकनीकी रूप से एक सिद्धांत नहीं है, इसमें झूठी भविष्यवाणियां नहीं की जाती हैं। इस मुद्दे का स्रोत शब्दावली में हो सकता है: सिद्धांत शब्द का उपयोग यहां भौतिकी, रसायन विज्ञान और अन्य विज्ञानों की तुलना में अलग तरह से किया जाता है। इष्टतमता सिद्धांत की विशिष्ट तात्कालिकताएं झूठी भविष्यवाणियां कर सकती हैं, उसी तरह अन्य भाषाई ढांचे के भीतर विशिष्ट प्रस्ताव भी कर सकते हैं। क्या भविष्यवाणियाँ की जाती हैं, और क्या वे परीक्षण योग्य हैं, यह व्यक्तिगत प्रस्तावों की विशिष्टताओं पर निर्भर करता है (आमतौर पर, यह विश्लेषण में प्रयुक्त बाधाओं की परिभाषा का मामला है)। इस प्रकार, एक रूपरेखा के रूप में इष्टतमता सिद्धांत का सबसे अच्छा वर्णन किया गया है एक वैज्ञानिक प्रतिमान के रूप में।

इष्टतमता सिद्धांत के भीतर सिद्धांत
व्यवहार में, इष्टतमता सिद्धांत के कार्यान्वयन में अक्सर प्रतिनिधित्व के ध्वन्यात्मक सिद्धांतों की कई अवधारणाओं का उपयोग किया जाता है, जैसे कि शब्दांश, मोरा (भाषा विज्ञान), या फ़ीचर ज्यामिति। इनसे पूरी तरह से अलग, ऐसे उप-सिद्धांत हैं जो पूरी तरह से इष्टतमता सिद्धांत के भीतर प्रस्तावित किए गए हैं, जैसे स्थितिगत वफादारी सिद्धांत, पत्राचार सिद्धांत (ध्वनि विज्ञान) (मैककार्थी और प्रिंस 1995), सहानुभूति सिद्धांत, स्ट्रैटल ओ.टी ी, और सीखने की क्षमता के कई सिद्धांत, विशेष रूप से ब्रूस बढ़ई द्वारा। इष्टतमता सिद्धांत के भीतर अन्य सिद्धांत ध्वन्यात्मक डोमेन के भीतर व्युत्पन्न स्तरों की आवश्यकता, बाधाओं के संभावित फॉर्मूलेशन और सख्त वर्चस्व के अलावा बाधा बातचीत जैसे मुद्दों से संबंधित हैं।

स्वरविज्ञान के बाहर प्रयोग करें
इष्टतमता सिद्धांत आमतौर पर ध्वनिविज्ञान के क्षेत्र से जुड़ा हुआ है, लेकिन इसे भाषाविज्ञान के अन्य क्षेत्रों में भी लागू किया गया है। जेन ग्रिमशॉ, गेराल्डिन लीजेंड्रे और ब्रेस्ना जाओ ने वाक्यविन्यास के भीतर सिद्धांत की तात्कालिकता विकसित की है। इष्टतमता सिद्धांत संबंधी दृष्टिकोण आकृति विज्ञान (भाषा विज्ञान) (और विशेष रूप से आकृति विज्ञान-स्वर विज्ञान इंटरफ़ेस) में भी अपेक्षाकृत प्रमुख हैं। शब्दार्थ के क्षेत्र में, इष्टतमता सिद्धांत का आमतौर पर कम उपयोग किया जाता है। लेकिन व्याख्या का एक औपचारिक मॉडल प्रदान करने के लिए बाधा-आधारित प्रणालियाँ विकसित की गई हैं। इष्टतमता सिद्धांत का उपयोग व्यावहारिकता के लिए एक रूपरेखा के रूप में भी किया गया है। शब्दावली के लिए, अन्य बातों के अलावा, रिचर्ड विसे (भाषाविद्) द्वारा बाधा-आधारित विश्लेषण भी प्रस्तावित किए गए हैं। और सिल्के हामन/इलारिया कोलंबो। बाधाएं ध्वनि और अक्षर के बीच संबंधों के साथ-साथ वर्तनी की प्राथमिकताओं दोनों को कवर करती हैं।

संदर्भ

 * Brasoveanu, Adrian, and Alan Prince (2005). Ranking & Necessity. ROA-794.
 * Chomsky (1995). The Minimalist Program. Cambridge, Massachusetts: The MIT Press.
 * Dresher, Bezalel Elan (1996): The Rise of Optimality Theory in First Century Palestine. GLOT International 2, 1/2, January/February 1996, page 8 (a humorous introduction for novices)
 * Hale, Mark, and Charles Reiss (2008). The Phonological Enterprise. Oxford University Press.
 * Halle, Morris (1995). Feature Geometry and Feature Spreading. Linguistic Inquiry 26, 1-46.
 * Heinz, Jeffrey, Greg Kobele, and Jason Riggle (2009). Evaluating the Complexity of Optimality Theory. Linguistic Inquiry 40, 277–288.
 * Idsardi, William J. (2006). A Simple Proof that Optimality Theory is Computationally Intractable. Linguistic Inquiry 37:271-275.
 * Idsardi, William J. (2000). Clarifying opacity. The Linguistic Review 17:337-50.
 * Kager, René (1999). Optimality Theory. Cambridge: Cambridge University Press.
 * Kornai, Andras (2006). Is OT NP-hard?. ROA-838.
 * Legendre, Géraldine, Jane Grimshaw and Sten Vikner. (2001). Optimality-theoretic syntax. MIT Press.
 * McCarthy, John (2001). A Thematic Guide to Optimality Theory. Cambridge: Cambridge University Press.
 * McCarthy, John (2007). Hidden Generalizations: Phonological Opacity in Optimality Theory. London: Equinox.
 * McCarthy, John (2008). Doing Optimality Theory: Applying Theory to Data. Blackwell.
 * McCarthy, John and Alan Prince (1993): Prosodic Morphology: Constraint Interaction and Satisfaction. Rutgers University Center for Cognitive Science Technical Report 3.
 * McCarthy, John and Alan Prince (1994): The Emergence of the Unmarked: Optimality in Prosodic Morphology. Proceedings of NELS.
 * McCarthy, John J. & Alan Prince. (1995). Faithfulness and reduplicative identity. In J. Beckman, L. W. Dickey, & S. Urbanczyk (Eds.), University of Massachusetts occasional papers in linguistics (Vol. 18, pp. 249–384). Amherst, Massachusetts: GLSA Publications.
 * Merchant, Nazarre & Jason Riggle. (2016) OT grammars, beyond partial orders: ERC sets and antimatroids. Nat Lang Linguist Theory, 34: 241.
 * Moreton, Elliott (2004): Non-computable Functions in Optimality Theory. Ms. from 1999, published 2004 in John J. McCarthy (ed.), Optimality Theory in Phonology.
 * Pater, Joe. (2009). Weighted Constraints in Generative Linguistics. "Cognitive Science" 33, 999–1035.
 * Prince, Alan (2007). The Pursuit of Theory. In Paul de Lacy, ed., Cambridge Handbook of Phonology.
 * Prince, Alan (2002a). Entailed Ranking Arguments. ROA-500.
 * Prince, Alan (2002b). Arguing Optimality. In Coetzee, Andries, Angela Carpenter and Paul de Lacy (eds). Papers in Optimality Theory II. GLSA, UMass. Amherst. ROA-536.
 * Prince, Alan and Paul Smolensky. (1993/2002/2004): Optimality Theory: Constraint Interaction in Generative Grammar. Blackwell Publishers (2004) (2002). Technical Report, Rutgers University Center for Cognitive Science and Computer Science Department, University of Colorado at Boulder (1993).
 * Tesar, Bruce and Paul Smolensky (1998). Learnability in Optimality Theory. Linguistic Inquiry 29(2): 229–268.
 * Trommer, Jochen. (2001). Distributed Optimality. PhD dissertation, Universität Potsdam.
 * Wolf, Matthew. (2008). Optimal Interleaving: Serial Phonology-Morphology Interaction in a Constraint-Based Model. PhD dissertation, University of Massachusetts. ROA-996.

बाहरी संबंध

 * Rutgers University Optimality Archive
 * Optimality Theory and the Three Laws of Robotics
 * OT Syntax: an interview with Jane Grimshaw