Синтаксические системы содержащие семантику. —- 1. семантика малых шагов - обычное вычисление 2. семантика больших шагов - естественная семантика — По сути AGI/человек (системы семантики с большим шагом) должна быть декомпозированы/формализованы в семантику малых шагов т.е. вычисление. Помним также, что всё есть синтаксис. Семантика малых шагов = синтаксис, вычислительный синтаксис. Поэтому превращение семантики больших шагов в семантику малых шагов эквивалентно превращению семантики в синтаксис. ps https://en.wikipedia.org/wiki/Operational_semantics