12

1.

1. Какой язык является ведущим в области: научных вычислений; коммерческих приложений; исусственного интеелекта; системных разработок? Почему?

2 .Предполагая использование статического и динамического обзора, указать, какие переменные видимы во время вызова каждой функции при указанной последовательности вызовов

Procedure main;

Var x : integer;

Procedure sub1;

Var x : real;

procedure sub2;

begin … end{ sub2}

Begin {sub1}….… end {sub1}

procedure sub3;

begin … end{ sub3}

begin sub2 -> sub1 -> sub3… end {main}

3.Описать правила вывода для грамматики выражений такой, что

Т = {+ , - , *, / , (, ), a, b, c, …, x, y, z, 0, 1, …9 }

V = { E, I }, где Е выражение, I идентификатор всегда начинающийся с буквы.

Сделать 3 порождения.

4. Проверить, является ли верным заданное предусловие

{ia<=na or ia<=na+1 and ib <=nb}

if ib > nb or ia<= na then ia:= ia+1 else ib:= ib+1 {ia <= na+1}

2

1. Привести пример ортогональности в ЯП Паскаль и объяснить почему.

2. Предполагая использование статического и динамического обзора, указать, какие переменные видимы во время вызова каждой функции при указанной последовательности вызовов

Procedure main;

Var x : integer;

Procedure sub1;

Var x : real;

procedure sub2;

begin … end{ sub2}

Begin {sub1}….… end {sub1}

procedure sub3;

begin … end{ sub3}

begin sub2 -> sub1 -> sub3

sub3 -> sub2 … end {main}

3.Описать правила вывода для грамматики выражений такой, что

Т = {+ , - , *, / , (, ), a, b, c, d, 0, 1, …9 }

V = { E, I }, где Е выражение, допускаюшее последовательность скобок,

I идентификатор всегда начинающийся с буквы.

Сделать 3 порождения.

4. Проверить, является ли верным заданное предусловие

{3 <= |x| <= 4} if x<0 then y := -x else y := x {2 <= y <=4}

3.

1. Какая конструкция ЯП поддерживает абстракцию процесса и в чем состоит понятие абстракции данных?

2.Предполагая использование статического и динамического обзора, указать, какие переменные видимы во время вызова каждой функции при указанной последовательности вызовов

Procedure main;

Var x : integer;

Procedure sub1;

Var x : real;

procedure sub2;

begin … end{ sub2}

Begin {sub1}….… end {sub1}

procedure sub3;

begin … end{ sub3}

begin sub1-> sub3

sub2 -> sub3 -> sub1 end {main}

3.Описать правила вывода для грамматики выражений такой, что

Т = {+ , *, / , (, ), a, b, c, …, x, y, z, 0, 1 }

V = { E, I }, где Е произвольное выражение, I идентификатор всегда начинающийся с буквы.

Сделать 3 порождения.

4. Проверить, является ли верным заданное предусловие

{ia<=na or ia<=na+1 and ib <=nb}

if ib > nb or ia<= na then ia:= ia+1 else ib:= ib+1 {ia <= na+1}

4.

1. Какие ЯП называются императивными?

2. Предполагая использование статического и динамического обзора, указать, какие переменные видимы во время вызова каждой функции при указанной последовательности вызовов

Procedure main;

Var x : integer;

Procedure sub1;

Var x : real;

procedure sub2;

begin … end{ sub2}

Begin {sub1}….… end {sub1}

procedure sub3;

begin … end{ sub3}

begin sub3-> sub2 -> sub1 end {main}

3.Описать грамматику оператора присваивания такую, что

Т = {+ , - , *, / , (, ), A, B, C, …, X, Y, Z, 0, 1, …9 }.

Идентификатор всегда начинается с буквы.

Сделать порождения 3-х операторов

4. Определить предусловие

{?} if x < 0 then y := -x else y := x {y > 0}

5.

1. Что такое совмещение имен. Проблемы альтернативных имен.

2. Предполагая использование статического и динамического обзора, указать, какие переменные видимы во время вызова каждой функции при указанной последовательности вызовов

Procedure main; 7

Var x : integer;

Procedure sub1;

Var x : real;

procedure sub2;

begin … end{ sub2}