190. Выберите верные утверждения

• Разъединение циклов применяется с целью увеличения скорости работы, но при этом ухудшается компактность кода

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

• Слияние циклов подразумевает объединение двух циклов в один

• Слияние циклов применяется с целью увеличения скорости работы, но при этом ухудшается компактность кода

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

• Развертывание циклов подразумевает объединение двух циклов в один

191. Выберите верное толкование законов

• (E1 => E2)= ⌐ E1 V E2 обозначает закон импликации

• E1V ⌐E1 = T обозначает закон исключенного третьего

• (Е1=E2) (Е1=>E2) Λ (Е2=>E1) обозначает закон равенства

• (E1 => E2)= ⌐ E1 V E2 обозначает закон исключенного третьего

• E1V ⌐E1 = T обозначает закон исключенного равенства

• (Е1=E2) (Е1=>E2) Λ (Е2=>E1) обозначает закон импликации

192. Элементы исчисления высказываний строятся последующим правилам

• Если B высказывание, то not B - высказывание

• Если b и c высказывание, то b Λ c , b V c, b => c- высказывание

• Если b высказывание, то b Λ c , b V c, b => c- высказывание

193. Выражения, получающиеся после каких обобщений называют предикатами?

• В высказывании можно заменить идентификатор любым выражением

• Вводятся кванторы

• Заменяют выражение арифметическими действиями

194. Выберите верные утверждения

• Предложение «Это предложение ложно» - не может быть истинно, так как оно говорит, что оно ложно и не может быть ложным, так как тогда оно было бы истинным

• Чтобы доказать предложение необходимо показать, что оно истинно во всех возможных случаях, чтобы опровергнуть - надо найти один единственный случай, когда оно ложно

• Предложение «Это предложение ложно» - не может быть истинно, так как оно говорит, что оно ложно и может быть ложным, так как оно указывает на свою ложность

195. При формальном определении синтаксиса возникают проблемы: (выберите все верные варианты)

• Разбора

• Вывода

• Чтения

• Согласования

196. Формальное определение языка это: (выберите все верные варианты)

• Полное определение синтаксиса

• Полное определение семантики

• Полное определение прагматических аспектов языка

• Полное определение инструкций для оценки правильности языка

197. При формальном определении синтаксиса возникают проблемы: (выберите все верные варианты)

• Проблема проверки принадлежности последовательности символов данному языку

• Проблема получения сентенциальных форм из правил

• Проблема вывода решения на экран

• Проблема определения формы слова

198. При построении компиляторов используют: (выберите все верные варианты)

• Правосторонний вывод

• Левосторонний вывод

• Вывод начального алфавита

• Вывод синтаксических правил

199. Характеристика КС – грамматики каноническая форма включает в себя: (выберите все верные варианты)

• Каждая грамматика эквивалентна грамматике в нормальной форме Хомского

• Каждая грамматика эквивалентна грамматике в нормальной форме Грейбаха

• Каждая грамматика эквивалентна грамматике в нормальной форме Бойса – Кодда

• Каждая грамматика эквивалентна грамматике в третьей нормальной форме

200. В функции автомата магазинного типа входят: (выберите все верные варианты)

• Чтение входного символа, замещение верхнего символа стека строкой символов возможно пустой и изменение состояния

• Замещение верхнего символа стека строкой символов возможно пустой и изменение состояния

• Чтение входного символа без занесения в стек

• Замещение нижнего символа стека

201. Выберите характеристики КС – грамматик: (выберите все верные варианты)

• Каноническая форма

• Самовложение

• Свободный вывод

• Контекстный вывод

202. Укажите типы грамматик по иерархии Хомского:

• неограниченные грамматики

• контекстно-зависимые грамматики

• контекстно-свободные грамматики

• регулярные грамматики

• семантическая грамматика

203. Регулярная грамматика эквивалентна:

• конечным автоматам

• регулярным выражениям

204. Регулярные выражения состоят из

• терминалов

• операторов

• символов

• переменных

205. Выделите существующие стадии анализа цепочек символов в теории компиляторов:

• лексический

• синтаксический

• семантический

• морфологический

206. Свойства регулярных множеств (РМ):

• существует алгоритм, определяющий принадлежность строки заданному РМ

• существует алгоритм, определяющий, не генерирует ли два регулярных выражения одно и тоже РМ

207. Формальная грамматика – это

• способ описания формального языка

• выделения некоторого подмножества из множества всех слов некоторого конечного алфавита

• формальный язык поиска и осуществления манипуляций с подстроками в тексте, основанный на использовании метасимволов

208. Грамматика определяется характеристиками

• Σ — набор (алфавит) терминальных символов

• N — набор (алфавит) нетерминальных символов

• P — набор правил вида: «левая часть» «правая часть», где:

• «левая часть» — непустая последовательность терминалов и нетерминалов, содержащая хотя бы один нетерминал «правая часть» — любая последовательность терминалов и нетерминалов

• S — стартовый (начальный) символ из набора нетерминалов

209. Контекстно-зависимая грамматика

• частный случай формальной грамматики

• тип 2 по иерархии Хомского

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

210. Контекстно-свободная грамматика

• частный случай формальной грамматики

• тип 2 по иерархии Хомского

• левые части всех продукций являются одиночными терминалами

211. Типы контекстно-свободных грамматик

• LL(1)-грамматика

• LАLR(1)-грамматика

• LR(1)-грамматика

• SLR(1)-грамматика

212. Контекстно-свободная грамматика имеет элементы

• терминалы: '(' и ')'

• нетерминал: S

• продукции: S→(S), S→ε

• начальный нетерминал — S

• конечный терминал — s

213. Терминал

• непосредственно присутствует в словах языка, соответствующего грамматике

• имеет конкретное, неменяющееся значение

• обозначает какую-либо сущность языка

214. Нетерминал

• обозначает какую-либо сущность языка

• не имеет конкретного символьного значения

• имеет конкретное символьное значение

• Расставьте соответствия определениям методов оптимизации циклов:

Уменьшение числа повторений

развертывание циклов

Замена одной операции другой

уменьшение силы операций

Увеличение скорости работы

слияние циклов

• Соотнесите в методе рекурсивного спуска процедуры и переменные:

Error

процедура обращения с ошибками;

lexical

процедура чтения литеры;

semi, comma

идентификаторы - значения терминалов;

skip

процедура возврата во входной поток;

• В процессе LL(1) разбора осуществляется целый ряд шагов:

1

Проверка предварительно просматриваемого символа

2

Проверка терминала правой части правила

3

Проверка нетерминала

• Сопоставьте утверждения с их определением

увеличение скорости работы

Разъединение циклов

уменьшение числа повторений

Развертывание циклов

объединение двух циклов в один

Слияние циклов

• Сопоставьте законы, которые предназначены для получения более простых высказываний с их определением

(E1 => E2)= ⌐ E1 V E2

закон импликации

E1V ⌐E1 = T

закон исключенного третьего

(Е1=E2) (Е1=>E2) Λ (Е2=>E1)

закон равенства

• Сопоставьте утверждения с их определением

массив представляется одномерным

Линеаризация массивов

уменьшение числа повторений

Развертывание циклов

замена одной операции другой

Уменьшение силы операции

• Сопоставьте тип грамматики и ее описание:

неограниченные грамматики

возможны любые правила

контекстно-зависимые грамматики

левая часть содержит нетерминалы и терминалы

контекстно-свободные грамматики

левая часть состоит из одного нетерминала

регулярные грамматики

эквивалентны конечным автоматам.

• Сопоставьте:

Контекстно-свободные грамматики

определение грамматической структуры

Регулярные грамматики

шаблоны для текстового поиска

• Сопоставьте

неограниченные грамматики

практического применения не имеют

контекстно-зависимые грамматики

анализ текстов на естественных языках

контекстно-свободные грамматики

описание синтаксиса компьютерных языков

регулярные грамматики

описание идентификаторов, строк, констант

215. Диагностика ошибок требуется для определения правильности конструкции, чтобы корректно исполнить программу, предупредив программиста о возможных проблемах.

216. Диагностика ошибок требуется для определения правильности конструкции, чтобы корректно исполнить программу, предупредив программиста о возможных проблемах.

217. Действия над константами можно выполнить на этапе трансляции и откладывая до периода исполнения.

218. Чтобы доказать предложение необходимо показать, что оно истинно во всех возможных случаях, чтобы опровергнуть надо найти один единственный случай, когда оно ложно.

219. Чтобы доказать предложение необходимо показать, что оно истинно во всех возможных случаях, чтобы опровергнуть надо найти один единственный случай, когда оно ложно.

6. LL(1)-грамматика — это грамматика такого типа, на основании которой можно получить детерминированный синтаксический анализатор, работающий по принципу сверху вниз.

7. Направляющие символы по Гриффитсу определяются так: если А — нетерминал, то его направляющими символами будут S(A) + (все символы, следующие за А, если А может генерировать пустую строку).

8. Найдя LL(1)-грамматику для языка, можно перейти к следующему этапу - применению найденной грамматики для приведения в действие в компиляторе фазы разбора.

9. Обладает ли грамматика со следующими правилами S->AB;S->PQx;A->xy;A->m;B->bC;C->bC;C->e;P->pP;P->ε;Q->qQ;Q->ε признаком LL(1) Да или Нет? Нет, так как х является направляющим символом в этих двух правилах для S.

220. Линеаризация массивов подразумевает , то, что массивы хранятся в памяти как одномерные, поэтому выходной код генерируется как если бы массив был одномерным

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

222. Уменьшение силы операции подразумевает замену одной операции другой, выполняемой быстрее

223. Разъединение циклов применяется с целью увеличения скорости работы, но при этом ухудшается компактность кода

224. Слияние циклов подразумевает объединение двух циклов в один

225. Конечный автомат это - устройство для распознавания строк какого-либо языка, и его можно записать в виде пятерки M=(K, Σ, δ, S, F)

226. Вывод на каждом этапе которого самый левый нетерминал в сентенциальной форме замещается с помощью одного из порождающих правил грамматики это левосторонний вывод

227. Вывод, на каждом этапе которого замещается самый правый нетерминал это правосторонний вывод

228. Лемма подкачки помогает определить является ли язык контекстно-свободным или нет.

229. Проблема вывода это проблема получения сентенциальных форм из правил

230. Проблема разбора это проблема проверки принадлежности последовательности символов данному языку

231. Семантический анализ – анализ смысла содержания предложения.

232. Регулярные грамматики являются 3 типом грамматики по иерархии Хомского.

233. Неограниченные грамматики, контекстно-зависимые грамматики, контекстно-свободные грамматики и регулярные грамматики относятся к формальным грамматикам.

234. Установить хронологическую последовательность этапов решения многокритериальных задач.

Формирование множества альтернатив

2

Разработка оценочных шкал

4

Анализ проблемной ситуации

1

Формирование множества критериев

3

235. Установить хронологическую последовательность этапов решения многокритериальных задач.

Упорядочивание альтернатив

4

Оценка альтернатив по шкалам критериев

1

Выбор решающего правила

3

Предпочтения ЛПР и выявление их противоречий

2

236. Сопоставьте определения

порождает проблемную ситуацию

Объект

находится в рамках, границах

Предмет

237. Соотнесите определения

взаимодействие между частями системы

Связи

Полный и целостный набор элементов

Система

Упорядоченность, организованность системы

Структурированность

238. Сопоставьте определения

Признаки оценки

Критерии

Соотношение между заданным и реализованным

Эффективность системы

Формирование целостного поведения

Управление

Соответствие между входом и выходом системы

Ограничение

239. Соотнесите особенности парадигм

Модель носит объективный характер

Исследование операций

Модель является субъективной

Принятие решений

240. Установите правильную последовательность предварительной постановки задач

Описание проблемной ситуации

1

Описание функции или назначения технического объекта

2

Выбор прототипа и составление списка требований

3

Составление списка недостатков прототипа

4

Предварительная формулировка задач

5

Построение улучшенной конструктивной структуры

6

241. Установите правильную последовательность этапов моделирования

Этап 1

Постановка задачи

Этап 2

Разработка модели

Этап 3

Компьютерный эксперимент

Этап 4

Анализ результатов моделирования

242. Установите правильную последовательность этапов принятия управленческого решения

Этап 1

Формирование цели

Этап 2

Анализ и поиск решений

Этап 3

Принятие решений

Этап 4

Этап воздействия

Этап 5

Этап реализации и оценки