لغة شكلية

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

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