لغة شكلية
في الرياضيات والمنطق والمعلوماتية، يطلق مصطلح اللغة الشكلية L على أي مجموعة من الجمل محدودة الطول المأخوذة من مجموعة نهائية A تسمى الحروف الأبجدية. فمن خلال مختلف تطبيقات اللغات الشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة كلمات أو مجموعة جمل.
إذا اعتبرنا اللغة الشكلية مجموعة كلمات : تكون المجموعة A نا يدعى أبجدية للغة L، عناصر هذه الأبجدية تدعى كلمات. إذا اعتبرنا اللغة الشكلية مجموعة جمل عندئذ تكون المجموعة A ذخيرة مفردات vocabulary أو تدعى أيضا lexicon للغة L، وتدعى عناصر A جملا. وفي الحالتين فإن النظرية الرياضية التي تتعامل مع اللغات الشكلية عامة تدعى بنظرية اللغات الشكلية.
bg:Формален език bs:Formalni jezik ca:Llenguatge formal ckb:زمانی شێوەیی cs:Formální jazyk da:Formelt sprog de:Formale Sprache el:Τυπική γλώσσα en:Formal language es:Lenguaje formal fa:زبان صوری fi:Formaali kieli fr:Langage formel he:שפה פורמלית hi:औपचारिक भाषा hr:Formalni jezik hu:Formális nyelv it:Linguaggio formale (matematica) ja:形式言語 ko:형식 언어 lt:Formali kalba mk:Формален јазик nl:Formele taal no:Formelt språk pl:Język formalny pt:Linguagem formal ro:Limbaje formale ru:Формальный язык sh:Formalni jezik simple:Formal language sk:Formálny jazyk sr:Формални језик sv:Formella språk tr:Biçimsel dil kuramı uk:Формальна мова zh:形式语言