2
Контекстно чутливі граматики та типи
1) Який, якщо такий є, зв’язок між статичним набором тексту та формальними граматиками? 2) Зокрема, чи вдасться лінійно обмеженим автоматом перевірити, чи правильно було набрано програму C ++ або SML? Вкладений автомат стеків? 3) Чи існує природний спосіб виразити статичні правила набору тексту у формальній граматиці?