Контрольные вопросы

Предикат

Назначение

frontchar(Строка,

Перв_символ,

Ост_строки)

(string,char,string) –

(i,o,o) (i,i,o) (i,o,i) (i,i,i) (o,i,i)

В зависимости от конкретизации переменных выполняет действия:

(i,o,o) – строку разделяет на первый символ и отстаток строки;

(i,i,o) – если Перв_символ является первым символом строки Строка, то выделяется остаток строки;

(i,o,i) – если Ост_строки является остатком строки Строка, то выделяется первый символ Перв_символ;

(i,i,i) – проверяет, является ли соединение символа Перв_символ и остаток строки Ост_строки строкой Строка;

(o,i,i) – соединяет Перв_символ и Ост_строки и возвращает строку Строка

fronttoken(Строка,Токен,

Ост_строки)

(string,string,string) –

(i,o,o) (i,i,o) (i,o,i) (i,i,i) (o,i,i)

В зависимости от конкретизации переменных выполняет действия:

(i,o,o) – Строка разделяется на Токен (слово) и остаток строки Ост_строки;

(i,i,o) – если первое слово строки равно Токену, то выделяется остаток строки Ост_строки;

(i,o,i) – если остаток строки Ост_строки равен остатку строки Строка, то выделяется первое слово Токен;

(i,i,i) – проверяет, равно ли соединение Токена и Ост_строки Строке;

(o,i,i) – соединяет Токен и Ост_строки и возвращает Строку

Предикат

Назначение

frontstr(Длина,Вх_строка,

Нач_строки,Ост_строки)

(integer,string,string,string) –

(i,i,o,o)

Из входной строки Вх_строка выделяет начальную часть Нач_строка длиной Длина и остаток строки Ост_строки

concat(Стр1,Стр2,Стр3)

(string,string,string) –

(i,i,o) (i,o,i) (o,i,i) (i,i,i)

В зависимости от конкретизации переменных выполняет действия:

(i,i,o) – Стр3 = Стр1 + Стр2;

(i,o,i) – если Стр3 имеет начало, равное Стр1, то выделяется остаток строки, равный Стр2;

(o,i,i) - если Стр3 имеет остаток Стр2, то выделяется начало строки, равное Стр1;

(i,i,i) – выполняется проверка, может ли Стр3 состоять из Стр1 и Стр2

str_len(Строка,Длина)

(string,integer) – (i,i) (i,o)

В зависимости от конкретизации переменных выполняет действия:

(i,i) – определяет, имеет ли Строка заданную Длину;

(i,o) – определяет Длину Строки

Предикат

Назначение

char_int(Символ,Код)

(char,integer) - (i,o) (o,i) (i,i)

В зависимости от конкретизации переменных выполняет действия:

(i,o) – определяет Символ по Коду;

(o,i) – определяет Код по Символу;

(i,i) – определяет, соответствует ли Код Символу

str_int(Строка,Ц_Число)

(string,integer) - (i,o) (o,i) (i,i)

В зависимости от конкретизации переменных выполняет действия:

(i,o) – преобразует строку из цифр в целое число;

(o,i) – преобразует целое число в строку из цифр;

(i,i) – определяет, соответствует ли целое число строке из цифр

Предикат

Назначение

str_char(Строка,Символ)

(string,char) - (i,o) (o,i) (i,i)

В зависимости от конкретизации переменных выполняет действия:

(i,o) – преобразует строку в символ;

(o,i) – преобразует символ в строку;

(i,i) – определяет, соответствует символ строке

str_real(Строка,В_Число)

(string,real) - (i,o) (o,i) (i,i)

В зависимости от конкретизации переменных выполняет действия:

(i,o) – преобразует строку из цифр в вещественное число;

(o,i) – преобразует вещественное число в строку из цифр;

(i,i) – определяет, соответствует ли вещественное число строке из цифр

upper_lower(Строка_прописные , Строка_строчные)

(string,string) - (i,i) (i,o) (o,i)

В зависимости от конкретизации переменных выполняет действия:

(i,o) – преобразует прописные буквы в строке Строка_прописные в строчные в строке Строка_строчные;

(o,i) – преобразует строчные буквы в строке Строка_строчные в прописные в строке Строка_прописные;

(i,i) – проверяет, совпадают ли прописные и соответствующие строчные буквы в строках