Язык спецификаций вычислительных задач.

 

1. Язык спецификаций.

2. Числа.

3. Символьные значения.

4. Арифметические значения.

5. Логические выражения.

 

(1). TK Solver – вычислительная модель представляет собой совокупность объектов и отношений между ними. Каждый объект модели принадлежит к некоторому классу, и в описании модели в TK Solver объект относится к имени переменной. Тип переменной определяется множеством значений, которые может принимать переменная, и множеством операций над этими значениями. Вычислительная модель в TK Solver описывается в соответствии с правилами синтаксиса и семантики конструкции языка описания вычислительных моделей и задач. В системе он не имеет специального названия, будем его называть “Язык спецификаций вычислительных задач” (ЯСВЗ). Объект каждого типа имеет имя.

В TK Solver каждое имя может иметь длину до 200 символов и включать буквы A…Z, цифры 0…9 и специальные символы: @, #, $, %, _. Имя не может начинаться с цифры, содержать внутри себя пробелы; строчные и прописные буквы в имени различаются, т.е., например, имена АВС и abc обозначают разные объекты. Для системных имён это ограничение не действует: Sin и sin обозначают одно и то же. В ЯСВЗ допускается использовать переменные следующего типа:

1. Числовые переменные – целые, комплексные.

2. Символьные.

3. Булевы.

Явные описатели типов в языке отсутствуют.

Тип переменной определяется либо видом принимаемых переменной значений при её инициализации, либо местом использования переменной, либо указанием определённых атрибутов в полях панелей объявления переменных. В ЯСВЗ можно использовать и структурированные типы данных. Если в модели задач требуется проводить вычисления многократно с различными исходными данными, то с переменной TK Solver связана последовательность вычислительных значений, называющихся элементами списка. В свою очередь, списки можно объединять в более сложные элементы – таблицы, а списки можно представлять в форме геометрической интерпретации в виде графиков, столбиков и круговых диаграмм.

(2). Числа, представленные в TK Solver в стандартной или экспоненциальной форме, могут иметь до 16 значащих цифр в диапазоне от 1Е -307 до 1Е308 (абсолютное значение). Примеры записи чисел: 1.09092; 18437560000000000000000; 6.572Е –11.

Для записи комплексных чисел используется специальная конструкция, называемая парой.

 

(3). Символьные значения заключаются в двойные кавычки, при этом имена переменных, хранящих символьные значения, должны начинаться с апострофа. Примеры:

Х; Bank; a_raw_1; _line: aj%d4; ‘lene d’; “a*j/d[4]”; “k”

Символьные значения, используемые для обращения к спискам или выступающие в качестве аргументов функции для указания объектов TK Solver, записываются или с апострофом в качестве префикса имени, или заключаются в двойные кавычки. Примеры:

Xupper [i], given (ab, cd, 1, 0)

“Xupper: [i], given (“ab, cd”, 1, 0)

Простейшими синтаксическими единицами ЯСВЗ являются выражения. В TK Solver применяются следующие выражения: арифметические, логические, символьные.