Категория:Теория формальных языков: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
(Создана новая страница размером Категория:Теория вычислений)
 
Нет описания правки
 
Строка 1: Строка 1:
Основоположником теории формальных языков по праву считается Н. Хомский. Именно он в 50-е годы прошлого века положил начало математическому исследованию формальных грамматик, введя некоторые важные для этого понятия (в частности, понятия порождающей грамматики и автомата с магазинной памятью) и доказав ряд основополагающих результатов. Возникнув в результате усилий, направленных на разработку точных методов описания естественных языков, теория грамматик является активно развиваемым направлением математической лингвистики и теории алгоритмов, занимающимся конструктивными способами задания множеств «правильно построенных выражений» (формальных языков) и получившим широкое применение для описания языков программирования и автоматизации программирования методами трансляции.
[[Категория:Теория вычислений]]
[[Категория:Теория вычислений]]

Текущая версия от 11:24, 21 сентября 2019

Основоположником теории формальных языков по праву считается Н. Хомский. Именно он в 50-е годы прошлого века положил начало математическому исследованию формальных грамматик, введя некоторые важные для этого понятия (в частности, понятия порождающей грамматики и автомата с магазинной памятью) и доказав ряд основополагающих результатов. Возникнув в результате усилий, направленных на разработку точных методов описания естественных языков, теория грамматик является активно развиваемым направлением математической лингвистики и теории алгоритмов, занимающимся конструктивными способами задания множеств «правильно построенных выражений» (формальных языков) и получившим широкое применение для описания языков программирования и автоматизации программирования методами трансляции.