Для неоднозначной грамматики существует эквивалентная ей однозначная грамматика:
Для цепочки символов важен состав, количество и порядок символов:
Конкатенация обладает свойством коммутативности:
С терминального символа можно продолжить цепочку вывода:
Язык программирования может определяться неоднозначной грамматикой: