Аннотация:
Исчисление Ламбека используется в математической лингвистике для строгого описания синтаксиса формальных и естественных языков. Категориальные грамматики, основанные на исчислении Ламбека, задают в точности контекстно-свободные языки без пустого слова. Предполагается рассмотреть методы, используемые в доказательстве этого результата.
Обратная связь: