Аннотация:
Контекстно-свободные грамматики и грамматики Ламбека, используемые для описания формальных языков, можно обогатить так называемой семантической разметкой. Такая обогащённая грамматика позволяет не только определить, принадлежит ли слово к языку, описываемому грамматикой, но и, если ответ положителен, приписать слову $\lambda$-терм, отвечающий семантическому значению ("смыслу") слова. В докладе будет представлен метод построения по контекстно-свободной грамматике в форме Хомского эквивалентной ей грамматики Ламбека, приписывающей словам языка те же $\lambda$-термы, что и исходная контекстно-свободная грамматика.
|
