1303
правки
KVN (обсуждение | вклад)  (Создана новая страница размером Категория:Теория вычислений)  | 
				KVN (обсуждение | вклад)  Нет описания правки  | 
				||
| Строка 1: | Строка 1: | ||
Основоположником '''теории формальных языков''' по праву считается Н. Хомский. Именно он в 50-е годы прошлого века положил начало математическому исследованию формальных грамматик, введя некоторые важные для этого понятия (в частности, понятия [[Грамматика|порождающей грамматики]] и [[Автомат с магазинной памятью|автомата с магазинной памятью]]) и доказав ряд основополагающих результатов. Возникнув в результате усилий, направленных на разработку точных методов описания естественных языков, теория грамматик является активно развиваемым направлением математической лингвистики и теории алгоритмов, занимающимся конструктивными способами задания множеств «правильно построенных выражений» (формальных языков) и получившим широкое применение для описания языков программирования и автоматизации программирования методами трансляции.   | |||
==Литература==  | |||
* Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. — СПб.: БХВ-Петербург, 2003.  | |||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.  | |||
[[Категория:Теория вычислений]]  | [[Категория:Теория вычислений]]  | ||