Specific properties of canonical separated grammars

Resumo

A class of canonical separated grammars capable of generating the same languages as general-type separated grammars is considered. The main properties and two criteria of canonical grammars are described. A way of unifying nonterminal symbols and proving the uniqueness of the canonical representation for separated grammars is proposed.