اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
علم اللغة الرسمي هو فرع علم اللغة الذي يستخدم الأساليب الرياضية التطبيقية لتحليل اللغات الطبيعية. تتضمن هذه الطرق اللغات الرسمية والنحو الرسمية والتعبيرات المنطقية من الدرجة الأولى. يشكل علم اللغة الرسمي أيضًا أساس علم اللغة الحسابي.
تم تقديم طرق اللغويات الرسمية من قبل السيميائيين مثل تشارلز بيرس ولويس هيلمسليف. بناء على عمل ديفيد هيلبرت ورودولف كارناب، اقترح هيلمسليف استخدام القواعد النحوية الرسمية لتحليل وتوليد وشرح اللغة في كتابه عام 1943 Prolegomena إلى نظرية اللغة. في هذا الرأي، تعتبر اللغة ناشئة عن علاقة رياضية بين المعنى والشكل.
تم تطوير الوصف الرسمي للغة بشكل أكبر من قبل اللغويين بما في ذلك JR Firth و Simon Dik، مما أدى إلى ظهور الأطر النحوية الحديثة مثل اللغويات الوظيفية النظامية وقواعد الخطاب الوظيفي. تم تطوير الطرق الحسابية من خلال الوصف التوليدي الوظيفية للإطار من بين أمور أخرى.
تم رفض النماذج التحليلية القائمة على الدلالات والبراغماتية الخطابية من قبل مدرسة بلومفيليان للغويات التي التزمت بمفهوم ويليام فونت النفسي لوضع الكائن في عبارة الفعل. تم بناء الشكليات القائمة على هذه الاتفاقية في 1950s بواسطة Zellig Harris و Charles Hockett. أدى هذا إلى قواعد اللغة التوليدية الحديثة. وقد اقترح أن علاقات التبعية ناتجة عن طفرة عشوائية في الجينوم البشري.
تُستخدم اليوم النماذج التوليدية للغويات الرسمية، مثل قواعد بنية العبارة التي تعتمد على الرأس (HPSG) على نطاق واسع اليوم في معالجة اللغات الطبيعية.