Начало см. здесь.

1. Праволинейные грамматики

Определение праволинейных грамматик можно посмотреть у Л. Т. Кузина (у него они фигурируют под названиями "автоматная грамматика", "грамматика с правосторонними продукциями") или у Ахо - Ульмана. Мы можем рассматривать праволинейные грамматики как простой частный случай Грейбах-грамматик и применить к порождению цепочек языков, определяемых этими грамматиками, уже изложенный выше (на примере "языка Кузина") метод.

В качестве примера акционального универсума, ассоциированного с праволинейной грамматикой, рассмотрим акциональный универсум, который будет соответствовать праволинейной грамматике из Примера 16-6 у Л. Т. Кузина. Список аксиом (о процедуре его построения см. здесь) соответствующего ей Исчисления Локализованных Цепочек (LCC) будет состоять из следующих 12-ти аксиом:

Например, цепочка ab100, порождаемая праволинейной грамматикой из этого примера, может быть собрана в LCC следующим образом (правила сборки в LCC в общем случае изложены здесь):

Каждое правило вывода является акцией:

состоящей из шести компонентов:

Базовые интуиции для такого подхода к экспликации понятия "акция" приведены здесь. Уточнение этих интуиций для Исчисления Локализованных Цепочек (LCC), ассоциированного с некоторой Грейбах-грамматикой, изложено здесь (в этом случае результатом действия субъекта y на объект x является конкатенация yx цепочек y и x).