Вопросы/задания: Билеты к экзамену

Распознанный текст из изображения:

12.05.2004

Эюамен по курсу «Формальные спепнфнкопи» протрамм

Часть! Язык ВБЕ и тестиров еие па основе формальных снецификжщй»

Билет № 5 ФИО;

.бонус ,штраф

.группа

1. Множество пере сивых 0 = ( з, уь уь уз, т ) состоит нз однои вхоыюй, двух проис угоеньж н одной выходной переменных Дом н м «сех переменных х настоя мн жютво псяьы зяюа. На рисунк 1 предстаюенв блок-схема протрюмы ню множествам переменных 0, вызисяжоатей факториал.

Докюап полную корректность про~рампы относитюыы входного предиката рибть01ивых днотсцред «втарм1с=- 0

2 Дана атрибутна» трамматика 1МР

-Рюппзрить описание языка Высит именноввнные казтстмыы. Описать «аныкетнме

уюовия

3. Дена анерю оннак зрвмматию 1МР- Вве ти цикл нпШ

Распознанный текст из изображения:

~ рюсввв Ма1прюо Пропеюу Мипртос нз окружения араходит аоследавательность спедутою х сиена оа. пр1, ~пр2, ~пра. 1пр1, ~пр2, пру, Нарисуите МЯС трассу, изображ юую азаимолед тв е прмесса со средой Со тояии» аа линии экземпляра Маюрт| изобрюють не надю Обратить оюба внвмаь е на правильно ть зер л ванин событии посылки-приема ситоюов и обозиаменне завер~п никиезааерюениа экземпляра Мжпрюс

Распознанный текст из изображения:

12.05.200Е

Экзамен по курсу «Формальные спецификацвп программ.

Часть 1. Язык КББ и теюироювие на основе формальных спецификаций»

Билет% 7 ФИО.

.бонус, штраф

, группа

1. Множество переменных У = ! г, г, у» уг. у, г ! состоит из двух входных. трех пронек!точных и одной выходнов перемеян й Дамено всех иерем нньтк является множество цюп шсел. На рисунке ! представяена блок-схема программы нал мн же твом ременных П, вычгюляюшсй к = ь,' 10 считается рыжым !1 Он ратор одй! у !принимает истинное значение, при нечетдом значении аргумента у

Доказать полную коррекпвють программы относительно входного предвката 0 = 1 > 01 выходного лредиката ту - =1х = к,"1

ы.т.

в

2. Дана атрибугнвя граммапша БП.

-Васюк цикл нпй1. Ввез*и атрибуты генерации кола, включая атрнбупя шнервции

меток

3. Двн грамматика и ст тнчесюп семанпгка языка !МР. Расширив. списание языка

-Ввюги им новвнпые кансшвты

Распознанный текст из изображения:

,'оо тюр с

процессу тпйргос вз окружения приводят лю сигню а 1в с на юниой оследовюслыююир гни. гпр!: Момснтьг посылки свгныоа атвсситсвьи ар мена запуска происюа . огуг быль лкб юв Нарисуйте М5С расом, аспжтс вуюпгне всем возможным риаи м взаимсдействн прогюссаес рдей Сосюянияп линни к мплар Тпййгссизобража ь не надо Обратить особ ю внимание ва соазваяение заверю ниятнез в рюеннл зкземпл ра Тпйргос.

Распознанный текст из изображения:

12.05.2004

Эшамен по курсу «Формшьные спецификацнв программ. Часы 1. Язык Кбц и тесшраванне на попове формпшных шсцификепий»

ФИОг

Билет № 11 1 Мисжсеыо ПСРЕМЕНИЫХ 'Г = 5 Кг, Лп У» Уъ Уз, О, тг ) СОСтавт ИЗ ДВУХ ВХОЛНЫХ, ТРЕХ промежуточных н двух вы олиых п ременных Доашном сок переменных явдяется мноместао целых чисел На рисунке 1 представлена блок-схема процзачмы вад мншпютао п ременных П, ссушс лягош;ю целочисл нное деланме.

Доказат полную корректность претр ммы с носитсаьнс входного стили та

фном>бус( з>йуивыхадногосрелик шцн50бзгсзгу (кг=сгхгсг5 2 Дана агрнбутвая грамматика БП.

-Ввести логвческуш операцию ХОК. Вшсти атрибуты генерации кода 3 Дана грамматика н статическа» оман гика языка ВПР. Расширим списание языка

-Разрешить прнсваиваиие булевсьих значений арифмшичс «им переменным

Распознанный текст из изображения:

~р с тор

Пропсссу Тпйугос из окружение прикид и лва сигигша бв ознаке ой лсследовательнсстиу.

зпрй юру;

Мом нтм пссьшки с гнгшов окно пыльно «ремени запуска процесс могут быть любыми. Нарисуйте МбС трассы, с твсгетвуюшис сем возмоииы варишпам взаимодейшаил щюпшса па средой Состояния на линии экземлллра Тпбугос юобра:каза н надо Обрати ьособое аиманнеиаобознагеаи з юрш и зУнюа ршени ткюмпл ра Тп бугае.

Распознанный текст из изображения:

12.05 2004

Эюачен по «урс! «Формальные спецификации п2югрюм Часть 1. Язык ВБ1. и тестиравмгие на основе формзльних спецификаций»

.бонус, апраф Билет № 9 ФИО:

, группа ! Множество пеРеменных У = ! з, Уп Уз, Уз, З ! состоит из одной входной, тРех промежутмных и л ой выьслной пер менных. Доменом всех переменных «власта мн жеетао пел гя чисел На риспже ! пр Л гаазена олок-схема програ. мы нат множеством пер менных '1, вы и ляююаа целую ' езь квадра ного корня.

Доказан, полную корре«п ость врограммы односительно вхслногс предиката

фм! ь01иныхолн гопредикатарм(с бя<0г . 1! ! 2. Дава атркбупзал трам мка ПЛР

-Расширить списание язмка. Описать «онтекстиые усвоен», дапускаюпие присвзивание бул аеких значений арифмспюеским пере енным. 3 Дана сперацисннм грамматика 1МР.

-В стн опсрапню возвед пня в степень

Распознанный текст из изображения:

ртосевв Миюртас Прапсс у Мзюртос из спруленып припевку послсловат:льиость слелуюшит ситнов, тпрй р1, тпрт. пру, з р!, Нарисуйт МЗС трассу, изобралаюптую взаимодсйс вне прои оса о срелой. Состопииз на винил зюемшшр Мвпртсс изображать не нано. Обратить особое внимание нв правильношь тереюваии собьний посьшан-приема сиптыов и обозна ение зав ршснийиазю ршсвы зкзсмпллра Мюпрпк.

Файл скачан с сайта StudIzba.com

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