Тест на 4 бали з дисципліни "Теорія програмування" (Однозначна контекстно-вільна мова. Найслабкіша передумова для оператора y:=2*x+1 і постумови {y < 1})

Теорія програмування, тести на 4

Питання на вибір варіанту

1.  Контекстно-вільна мова є однозначною, якщо хотя бы одна грамматика этого языка есть однозначной

2.  При верифікації оператори програми відслідковуються от конца к началу

3. Результат виконання в Лісп виразу  (cdr  ’(a  b  c  d))   b c d

4.  Мова { xⁿyⁿ  | n>0 } може бути описана граматикою

  G = ( {x,y}, {S}, P, S ),  де …

P={S

5.  Які мови являються мовами логічного програмування?

Prolog

6.  Граматика мови є неоднозначною при существовании нескольких деревьев разбора

            Питання на введення чисел і символьних рядків

7.  Кількість класів граматик формальних мов у ієрархії Хомского?

4

8.  Кількість вхідних аргументів функції переходів магазинного автомата?

3

9.  Ввести результат обчислення ламбда-виразу   (λy.(λx.x+y+1)  3)  4

8

10.  Ввести результат виконання оператора Лісп  ( car '(a b c) )

a

Питання на вибір варіанту

11. Контекстно-вільна граматика еквівалентна в магазинном автомате

12. Які з указаних мов є функціональними?

Lips and Haskew

13. Імперативне програмування засноване на описание последовательных изменений в состоянии вычисления

14. Формальні граматики загального вигляду еквівалентні

Машина Тьюринга

15. Результат виконання в Лісп виразу  (member  7  '(1  2  3))?

Nil

16. β-редукція в лямбда-вирахуванні означає применение функции представленной (Лямбда) функции к аргументу

17. Граматика для побудови паліндрому в алфавіті {0,1} може бути реалізована набором продукцій Машина Тьюринга

18. Мова діагоналізації є Неперераховна

            Питання на введення чисел і символьних рядків

19. Кількість компонентів, що визначають детермінований скінчений автомат ?

5

20. Найслабкіша передумова для оператора y:=2*x+1 і постумови { y < 1 } має вигляд …

 < 0