ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ПсковГУ |
||
In this paper we investigate formal properties of the Lambek calculus enriched with two new connectives named optional divisions (ODLC). Linguistic motivation to add them is describing optional arguments of verbs, e.g. "the book" in "Tim reads the book". We present two theorems regarding recognizing power of the ODLC; in particular, we show that finite intersections of context-free languages can be generated by Lambek grammars with optional divisions.