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