Принцип. Формализм для определения семантики.

Принцип.
Формализм для определения семантики, а не семантика для придания смысла формализму.

Определение семантики формальным конструктивным способом.
Определение синтаксиса формальным конструктивным способом.
Определение формализма конструктивным способом.

Это будет через модели, т.е. через упорядоченные пары, как обычно у меня.
Это всё обобщение нормальных алгоритмов Маркова.

ps
Синтаксиса необходимо и достаточно для семантики.
Синтаксиса самого по себе достаточно для семантики, ничего более не требуется.