لغة شكلية
من ويكيبيديا، الموسوعة الحرة
في الرياضيات و المنطق و المعلوماتية , يطلق مصطلح اللغة الشكلية L على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية , يمكن ان ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل .
إذا اعتبرنا اللغة الشكلية مجموعة كلمات : تكون المجموعة A نا يدعى أبجدية للغة L , عناصر هذه الأبجدية تدعى كلمات . إذا اعتبرنا اللغة الشكلية مجموعة جمل عندئذ تكون المجموعة A ذخيرة مفردات vocabulary أو تدعى أيضا lexicon للغة L , و تدعى عناصر A جملا . و في الحالتين فإن النظرية الرياضية التي تتعامل مع اللغات الشكلية عامة تدعى بنظرية اللغات الشكلية .