Cтраница 3
Основная программа обрабатывает массивы Т1 ( 10) и Т2 ( 5 5), действительные переменные А, В, С, D, E, F и целые К, L, M, NT; она обращается к трем подпрограммам. В первой из них участвует массив Т1, действительные переменные А, С, Е и все целые переменные; во второй - массив Т2, все действительные переменные и целые L, М; третья подпрограмма использует оба массива, действительные переменные С, D, E, F и целые К, L, M. [31]
Тип формального аргумента может быть задан неявно или установлен оператором описания типа, следующим за оператором FUNCTION. Если в качестве формального аргумента используется имя массива, то массив должен быть описан в подпрограмме-функции при помощи оператора DIMENSION. При этом в описании допускается в качестве границ изменения индексов использовать наряду с целыми константами также и целые переменные. При этом они должны включаться в список формальных аргументов. [32]
В большинстве компьютеров для типа short int ( короткий целый) обычно отводится два байта, для типа long int ( длинный целый) - четыре байта, а для типа int ( без ключевого слова short или long) может быть отведено два или четыре байта. Размер целого значения определяется системой компьютера ( 16 - или 32-разрядная) и используемым компилятором. Несовременных 32-разрядных компьютерах, использующих последние версии компиляторов ( например, Visual C 4 или более поздние), целые переменные имеют размер в четыре байта. Эта книга ориентирована на использование 4-байтовых целых, хотя у вас может быть другой вариант. Программа, представленная в листинге 3.1, поможет определить точный размер этих типов на вашем компьютере. [33]
Основной факт, иллюстрируемый языком Тьюринга, состоит в следующем: для достижения универсальности не требуется почти никаких аппаратных средств, кроме неограниченной памяти. Известно много других простых универсальных языков и машин, также иллюстрирующих этот факт. Универсален, например, упоминавшийся в гл. Лисп, являющийся подмножеством Лиспа. Другим примером является язык двух счетчиков, в котором есть только две простые целые переменные и операции, которые прибавляют 1 к их значениям, вычитают J и проверяют значения на равенство нулю. Книга Марвина Мипт ского Вычисления: конечные и бесконечные машины [1967] содержит много других примеров простых универсальных абстрактных машин и языков. [34]