Next:2.1.2
Операции и стандартные функции
Up:2.1
Стандартные типы данных
Previous:2.1
Стандартные типы данных
Таким образом, в отличие от конкретной ЭВМ виртуальная машина ВМ предполагает типизацию данных, при которой информационным объектам приписывается некоторый тип, определяемый допустимым множеством значений и допустимыми операциями, и Zonnon-программа имеет дело с элементами памяти, различающихся типами хранимых в них значений. Предполагается, что каждая переменная в Zonnon-программе (переменная -- это элемент памяти ВМ; адрес элемента памяти -- это имя переменной, а его содержимое -- значение переменной) может получать значения только определенного заранее типа, в то время как ячейка реальной ЭВМ может хранить любое по типу значение -- его трактовка определяется только выполняемой операцией и, по-существу, возможна для любой операции машинного языка.
Помимо переменных Zonnon-программа может содержать так называемые константы -- элементы памяти ВП, которые постоянно хранят заданные значения. В Zonnon-программе значение константы может упоминаться двумя способами: или неявно, своим именем -- адресом соответствующего элемента памяти, или явно, изображением содержимого соответствующего элемента памяти. Например, True -- это имя значения "истина", а 125 -- изображение числа "сто двадцать пять".
Next:2.1.2
Операции и стандартные функции
Up:2.1
Стандартные типы данных
Previous:2.1
Стандартные типы данных