Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Суббота, 17 октября 2009, 17:20–18:50
Где: ПОМИ РАН

Описание

Булевы грамматики, семантика единственного решения в сильном смысле. Примеры булевых грамматик для языков \(\{a^i b^j c^j \mid i \neq j, j \neq k, i \neq k\}\) и \(\{ww \mid w \in \{a,b\}^*\}\). Нормальный вид булевых грамматик. Алгоритм Кокка-Касами-Янгера в редакции для булевых грамматик.

A. Okhotin, &#147Boolean grammars&#148, Information and Computation, 194 (2004) 19-48.