Семантическая алгебра разделяется на статическую семантику и динамическую семантику. Статическая семантика изучает отношения между понятиями (была введена операция семантического умножения). Динамическая семантика изучает понятия о процессах (здесь вводится операция семантического сложения). Обратите внимание на эти формулировки. Их отличие отражает то, что процессы мы можем изучать только опосредованно, через понятия. Если статическая семантика изучает парные отношения, то для изучения процессов проще всего пользоваться трёхчленной формулой: «Понятие 1 + Понятие 2 = Понятие 3». В такой формуле «+» означает наличие и слияние, а «–» означает отсутствие и потребность...