औपचारिक भाषा

मुक्त ज्ञानकोश विकिपीडिया से
Jump to navigation Jump to search

गणित, कम्प्यूटर विज्ञान और भाषाविज्ञान में औपचारिक भाषा (formal language) चिन्हों के स्ट्रिंगों का एक समुच्चय (सेट) होता है जिनके साथ एक सम्बन्धित नियमों की सूची भी सम्मिलित हो। ऐसी औपचारिक भाषा की वर्णमाला चिन्हों व अक्षरों का वह समुच्चय होता है जिसके साथ उस भाषा के स्ट्रिंग बनाए जा सकें। किसी औपचारिक भाषा के मान्य स्ट्रिंगों को सुनिर्मित शब्द (well-formed words) या सुनिर्मित फ़ॉर्मूला (well-formed formula) कहते हैं। अक्सर औपचारिक भाषाओं के साथ-साथ उसके शब्द निर्माण व प्रयोग के लिए एक औपचारिक व्याकरण (formal grammar) भी परिभाषित होता है, जिसे उसका निर्माण नियम (formation rule) भी कहते हैं।[1]

इन्हें भी देखें[संपादित करें]

बाहरी कड़ियाँ[संपादित करें]

सन्दर्भ[संपादित करें]

  1. "Handbook of Formal Language Theory", Vol. 1-3, G. Rozenberg and A. Salomaa (eds.), Springer Verlag, (1997)