Языки логического программирования

Упражнение 1:

Номер 1

Что такое терм в определении Рефала?

Ответ:

(1) выражение в структурных или функциональных скобках

(2) последовательность символов

(3) символ, структурный или функциональный терм

(4) символ знака, или составной символ, или структурный терм, или функциональный терм

(5) произвольное рефал-выражение

(6) рефал-выражение без скобок, или в структурных скобках, или в функциональных скобках

Номер 2

Что не может быть термом Рефала?

Ответ:

(1) выражение в функциональных скобках

(2) последовательность символов

(3) символ

(4) составной символ

(5) произвольное рефал-предложение

(6) рефал-выражение в структурных скобках

Номер 3

Что может быть термом Рефала?

Ответ:

(1) выражение, содержащее несколько пар скобок

(2) последовательность структурных символов

(3) составной символ

(4) произвольное рефал-предложение

(5) выражение из двух символов

Упражнение 2:

Номер 1

Что такое рефал-выражение?

Ответ:

(1) некоторая последовательность знаков

(2) последовательность символов и скобок

(3) последовательность символов, выражений в структурных скобках и функциональных скобках, а также переменных

(4) последовательность символов, переменных, функциональных, структурных и символьных скобок, сбалансированная по скобкам каждого типа и в совокупности

(5) сбалансированная последовательность скобок одного из типов

Номер 2

Что не может быть рефал-выражением?

Ответ:

(1) последовательность из любого числа термов

(2) некоторая последовательность знаков

(3) последовательность символов, переменных, функциональных, структурных и символьных скобок, сбалансированная по скобкам каждого типа и в совокупности

(4) последовательность символов, выражений в структурных скобках и функциональных скобках, а также переменных

(5) сбалансированная последовательность скобок одного из типов

(6) последовательность символов и скобок

Номер 3

Что может быть рефал-выражением?

Ответ:

(1) последовательность рефал-предложений

(2) составные скобки с пустым выражением

(3) функциональные скобки с пустым выражением

(4) структурные скобки с пустым выражением

(5) сбалансированная последовательность скобок одного из типов

(6) последовательность символов без скобок

Упражнение 3:

Номер 1

Выражение '(k/aa/ (k/"bb"/..)'

Ответ:

(1) является рефал-выражением

(2) не является рефал-выражением, так как не сбалансированы структурные скобки

(3) не является рефал-выражением, так как функциональные и структурные скобки не сбалансированы в совокупности

(4) не является рефал-выражением, так как неверна символ-метка внутреннего функционального терма

(5) не является рефал-выражением, так как вызов второй функции не содержит аргумента

Номер 2

Выражение (k/aa/ (k/"bb"/.).)

Ответ:

(1) является рефал-выражением

(2) не является рефал-выражением, так как не сбалансированы структурные скобки

(3) не является рефал-выражением, так как функциональные и структурные скобки не сбалансированы в совокупности

(4) не является рефал-выражением, так как неверна символ-метка внутреннего функционального терма

(5) не является рефал-выражением, так как вызов второй функции не содержит аргумента

Номер 3

Выражение (k/aa/ (k/bb/..))

Ответ:

(1) является рефал-выражением

(2) не является рефал-выражением, так как не сбалансированы структурные скобки

(3) не является рефал-выражением, так как функциональные и структурные скобки не сбалансированы в совокупности

(4) не является рефал-выражением, так как неверна символ-метка внутреннего функционального терма

(5) не является рефал-выражением, так как вызов второй функции не содержит аргумента

Упражнение 4:

Номер 1

Из чего состоит описание рефал-функции по определению?

Ответ:

(1) из двух рефал-предложений

(2) из имени функции

(3) из символа-метки имени функции и произвольного числа рефал-предложений

(4) из директивы описания функции

(5) из директивы описания функции и произвольного числа рефал-предложений, ограниченных началом описания другой функции или директивой конца программы

Номер 2

Что не может входить в описание рефал-функции?

Ответ:

(1) 2 рефал-предложения

(2) имя функции

(3) функциональные скобки

(4) символ-метка имени функции

(5) директива описания функции, вслед за которой идет директива конца программы

(6) произвольное число рефал-предложений, ограниченных началом описания другой функции или директивой конца программы

Номер 3

Что может входить в описание рефал-функции?

Ответ:

(1) рефал-предложение с переменными в правой части из предыдущего рефал предложения

(2) символ-метка имени функции

(3) директива описания функции, вслед за которой идет директива конца программы

(4) директива описания функции, ограниченная другой директивой описания функции

Упражнение 5:

Номер 1

Что не является рефал-предложением?

Ответ:

(1) <рефал-выражение>=<рефал-выражение>

(2) =<рефал-выражение>=<рефал-выражение>

(3) <рефал-выражение без переменных>=<рефал-выражение>

Номер 2

Что является рефал-предложением?

Ответ:

(1) VW=Ww

(2) WVVW='+'VW'–'WV""

(3) V'W'WV=WV'–'V

(4) SWVS=SV WS

(5) SV=SVSVSV"'

Номер 3

Что не является рефал-предложением?

Ответ:

(1) VW=Vw/1/VW

(2) WVVW='+'VW'–'WV""

(3) VS'W'WV=WV'–'VS

(4) SVWS=SV WS

(5) SV=SVSVSVVS

Упражнение 6:

Номер 1

Что является ошибкой в следующем рефал-предложении? WWSASB=Ww. 'SB' ' 'Sa

Ответ:

(1) между переменными в левой части нет пробелов

(2) неверное имя переменной WW

(3) в правой части есть переменные Ww и Sa, которых нет в левой части

(4) переменная SB левой части неправильно записана в виде цепочки символов в правой части

(5) правая часть рефал-предложения не является рефал-выражением

(6) переменная SB не используется в правой части рефал-предложения

Номер 2

Что является ошибкой в следующем рефал-предложении? WWWWWW=Ww 'WW' ' 'Sa

Ответ:

(1) имя переменной в левой части рефал-предложения трижды повторяется

(2) переменной Ww нет в левой части

(3) в правой части есть переменная Sa, которой нет в левой части

(4) переменная WW левой части неправильно записана в виде цепочки символов в правой части

(5) правая часть рефал-предложения не является рефал-выражением

(6) пробелы в правой части рефал-предложения

Номер 3

Что является ошибкой в следующем рефал-предложении? EEvvEE=Ee 'EE' VV

Ответ:

(1) имя переменной в левой части рефал-предложения дважды повторяется

(2) переменной Ee нет в левой части

(3) в правой части есть переменная VV, которой нет в левой части

(4) переменная EE левой части неправильно записана в виде цепочки символов в правой части

(5) правая часть рефал-предложения не является рефал-выражением

(6) пробелы в правой части рефал-предложения, которых нет в левой части

Языки логического программирования - тест 2