https://en.wikipedia.org/wiki/Conjunctive_grammar
  allow implicit disjunction
https://en.wikipedia.org/wiki/Boolean_grammar
  Boolean grammars additionally allows explicit negation.

Страница Охотина (профессор в Санкт-Петербургском Государственном Университете)
новая - http://math-cs.spbu.ru/~okhotin/
старая - http://users.utu.fi/aleokh/boolean/

Там есть на русском курс по программированию в четырёх частях

Отредактировано Лис (2017-04-14 09:32:02)