https://www.arabsciencepedia.org/w/index.php?action=history&feed=atom&title=%D9%84%D8%BA%D8%A9_%D8%B4%D9%83%D9%84%D9%8A%D8%A9لغة شكلية - تاريخ المراجعة2026-04-27T10:24:37Zتاريخ التعديل لهذه الصفحة في الويكيMediaWiki 1.43.6https://www.arabsciencepedia.org/w/index.php?title=%D9%84%D8%BA%D8%A9_%D8%B4%D9%83%D9%84%D9%8A%D8%A9&diff=265&oldid=prevWikiSysop: ١ مراجعة: الصفحات في تصنيف رياضيات2010-11-12T21:16:11Z<p>١ مراجعة: الصفحات في تصنيف رياضيات</p>
<p><b>صفحة جديدة</b></p><div>في [[الرياضيات]] و[[المنطق]] و[[المعلوماتية]]، يطلق مصطلح '''اللغة الشكلية''' '''L''' على أي [[مجموعة]] من الجمل محدودة الطول المأخوذة من مجموعة نهائية '''A''' تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل.<br />
<br />
إذا اعتبرنا اللغة الشكلية مجموعة كلمات : تكون المجموعة '''A''' نا يدعى ''[[أبجدية (معلوماتية)|أبجدية]]'' للغة '''L'''، عناصر هذه الأبجدية تدعى ''كلمات''. إذا اعتبرنا اللغة الشكلية مجموعة جمل عندئذ تكون المجموعة '''A''' ذخيرة مفردات ''vocabulary'' أو تدعى أيضا ''lexicon'' للغة '''L'''، وتدعى عناصر '''A''' ''جملا''. وفي الحالتين فإن النظرية الرياضية التي تتعامل مع اللغات الشكلية عامة تدعى '''بنظرية اللغات الشكلية'''.<br />
{{بوابة رياضيات}}<br />
<br />
[[تصنيف:لغات شكلية|*]]<br />
[[تصنيف:رياضيات]]<br />
[[تصنيف:معلوماتية]]<br />
<br />
[[bg:Формален език]]<br />
[[bs:Formalni jezik]]<br />
[[ca:Llenguatge formal]]<br />
[[ckb:زمانی شێوەیی]]<br />
[[cs:Formální jazyk]]<br />
[[da:Formelt sprog]]<br />
[[de:Formale Sprache]]<br />
[[el:Τυπική γλώσσα]]<br />
[[en:Formal language]]<br />
[[es:Lenguaje formal]]<br />
[[fa:زبان صوری]]<br />
[[fi:Formaali kieli]]<br />
[[fr:Langage formel]]<br />
[[he:שפה פורמלית]]<br />
[[hi:औपचारिक भाषा]]<br />
[[hr:Formalni jezik]]<br />
[[hu:Formális nyelv]]<br />
[[it:Linguaggio formale (matematica)]]<br />
[[ja:形式言語]]<br />
[[ko:형식 언어]]<br />
[[lt:Formali kalba]]<br />
[[mk:Формален јазик]]<br />
[[nl:Formele taal]]<br />
[[no:Formelt språk]]<br />
[[pl:Język formalny]]<br />
[[pt:Linguagem formal]]<br />
[[ro:Limbaje formale]]<br />
[[ru:Формальный язык]]<br />
[[sh:Formalni jezik]]<br />
[[simple:Formal language]]<br />
[[sk:Formálny jazyk]]<br />
[[sr:Формални језик]]<br />
[[sv:Formella språk]]<br />
[[tr:Biçimsel dil kuramı]]<br />
[[uk:Формальна мова]]<br />
[[zh:形式语言]]</div>WikiSysop