История изменений

Я так понимаю, что «глобальное состояние» системы это множество её состояний :)

Т.е., например http://en.wikipedia.org/wiki/Turing_machine#Formal_definition — тут будет Q как состояния («глобальные», других же нет) машины, ну и ленту можно тоже умножить (типа code segment).

Или у физической системы есть соответствующее пространство состояний.

Если считать, что редукции на множестве термов задают некий «процесс редуцирования», то сам язык, то есть множество термов, его элементы, будут «глобальным состоянием» вычислителя (взяли дерево/граф, редукцией перешли к другому и т.д.).

Я так понимаю, что «глобальное состояние» системы это множество её состояний :)

Т.е., например http://en.wikipedia.org/wiki/Turing_machine#Formal_definition — тут будет Q как состояния («глобальные», других же нет) машины, ну и ленту можно тоже умножить (типа code segment).

Или у физической системы есть соответствующее пространство состояний.

Если считать, что редукции на множестве термов задают некий «процесс редуцирования», то сам язык, то есть множество термов, его элементы, будут «глобальным состоянием» вычислителя (взяли дереве/граф, редукцией перешли к другому и т.д.).