औपचारिक भाषा
गणित, कम्प्यूटर विज्ञान और भाषाविज्ञान में औपचारिक भाषा (formal language) चिन्हों के स्ट्रिंगों का एक समुच्चय (सेट) होता है जिनके साथ एक सम्बन्धित नियमों की सूची भी सम्मिलित हो। ऐसी औपचारिक भाषा की वर्णमाला चिन्हों व अक्षरों का वह समुच्चय होता है जिसके साथ उस भाषा के स्ट्रिंग बनाए जा सकें। किसी औपचारिक भाषा के मान्य स्ट्रिंगों को सुनिर्मित शब्द (well-formed words) या सुनिर्मित सूत्र (well-formed formula) कहते हैं। अक्सर औपचारिक भाषाओं के साथ-साथ उसके शब्द निर्माण व प्रयोग के लिए एक औपचारिक व्याकरण (formal grammar) भी परिभाषित होता है, जिसे उसका निर्माण नियम (formation rule) भी कहते हैं।
Q395
गणित
Concept
Q21198
कम्प्यूटर विज्ञान
Concept
Q8162
भाषाविज्ञान
Concept
Q2372244
चिन्हों
Concept
Q184754
स्ट्रिंगों
Concept
Q36161
समुच्चय
Concept
Q837518
वर्णमाला
Concept
Q192161
औपचारिक भाषा
Concept
Q192161
औपचारिक भाषा
Concept
Q192161
औपचारिक भाषा
Concept
Q192161
औपचारिक भाषा
Concept
subclass of
part of
facet of
facet of
facet of
facet of
facet of
facet of
facet of
facet of
subclass of
subclass of
subclass of