Вход | Регистрация

Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.

Вход в систему

Список вопросов базы знаний

Системное программное обеспечение

Страница:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

Вопрос id:1945643

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

В МП-автоматах переходы, при которых входной символ игнорируется, называются

?) α -тактами

?) l- переходы

?) α - переходы

?) l-тактами

Вопрос id:1945644

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

В нормальную форму Хомского можно преобразовать КС-грамматику

?) недетерминированную

?) детерминированную

?) нормальную

?) любую

Вопрос id:1945645

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

В общем виде МП-автомата R(Q,V,Z,d,q₀,z₀,F) Z означает

?) множество состояний автомата

?) алфавит входных символов автомата

?) специальный конечный алфавит магазинных символов автомата

?) начальный символ магазина

Вопрос id:1945646

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

В определении грамматики G(VT,VN,P,S) S означает

?) целевой символ грамматики

?) множество нетерминальных символов

?) множество терминальных символов

?) множество правил грамматики

Вопрос id:1945647

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

В определении грамматики G(VT,VN,P,S) VN означает

?) множество терминальных символов

?) множество нетерминальных символов

?) множество правил грамматики

?) целевой символ грамматики

Вопрос id:1945648

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

В определении грамматики G(VT,VN,P,S) VT означает

?) множество правил грамматики

?) множество терминальных символов

?) множество нетерминальных символов

?) целевой символ грамматики

Вопрос id:1945649

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

В определении грамматики G(VT,VN,P,S) Р означает

?) целевой символ грамматики

?) множество нетерминальных символов

?) множество правил грамматики

?) множество терминальных символов

Вопрос id:1945650

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

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

?) КС

?) с фразовой структурой

?) регулярные

?) квазирегулярные

Вопрос id:1945651

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

В отличие от обычного расширенный МП-автомат

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

?) имеет расширенное множество символов

?) поддерживает несколько языков

?) может изымать цепочку символов за один такт

Вопрос id:1945652

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

В формальной записи конечного автомата M(Q,V,d,q₀,F) Q означает

?) конечное множество состояний автомата

?) начальное состояние автомата

?) функцию переходов

?) конечное множество допустимых входных символов

Вопрос id:1945653

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Вместо «k» в названии класса грамматики «LL(k)» стоит некоторое число, которое показывает количество

?) символов алфавита соответствующего языка

?) правил грамматики

?) рассматриваемых символов для однозначного выбора альтернативы

?) нетерминальных символов

Вопрос id:1945654

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Вопрос об алгоритмической неразрешимости проблем однозначности и эквивалентности грамматик сводится к

?) проблеме поиска экстремума

?) задаче коммивояжера

?) принципу оптимальности Парето

?) проблеме соответствий Поста

Вопрос id:1945655

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Все языки программирования определяют нотацию записи

?) сверху вниз

?) слева направо

?) снизу вверх

?) справа налево

Вопрос id:1945656

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Всякая грамматика операторного предшествования задает язык

?) любой

?) регулярный

?) детерминированный КС

?) недетерминированный КС

Вопрос id:1945657

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Выделяют следующие виды грамматик предшествования: 1) простого; 2) расширенного; 3) сильного; 4) слабого; 5) смешанной стратегии; 6) сложного - из перечисленного

?) 1, 2, 3, 6

?) 1, 2, 3, 4

?) 3, 4, 5, 6

?) 1, 2, 4, 5

Вопрос id:1945658

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Высший приоритет имеет операция

?) объединение множеств

?) конкатенация

?) пересечение множеств

?) итерация

Вопрос id:1945659

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Грамматика в нормальной форме Грейбах содержит правила (где a∈VT и α∈VN*)

?) аА → α

?) аα → А

?) Аα → а

?) А → аα

Вопрос id:1945660

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Грамматика простого предшествования является однозначной

?) регулярная

?) недетерминированная

?) детерминированная

?) всякая

Вопрос id:1945661

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Грамматики, у которых все правые части правил для всех нетерминальных символов начинаются с k различных терминальных символов, носят название

?) LL(k)-нетерминальные

?) правосторонние LL(k)-грамматики

?) LL(k)-терминальные

?) сильно LL(k)-грамматики

Вопрос id:1945662

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Два МП-автомата называются эквивалентными, если они определяют

?) одно множество правил

?) один язык

?) одно множество символов

?) одну грамматику

Вопрос id:1945663

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Длина цепочки символов обозначается

?) [α]

?) |α|

?) (α)

?) {α}

Вопрос id:1945664

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Длиной цепочки называют количество

?) букв

?) цифр

?) блоков

?) символов

Вопрос id:1945665

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для LR(k)-грамматики порядок чтения входной цепочки символов

?) снизу вверх

?) слева направо

?) сверху вниз

?) справа налево

Вопрос id:1945666

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для грамматики с фразовой структурой вида G(VT,VN,P,S), V=VNÈVT правила имеют вид

?) α→β, где α∈P, β∈S

?) α→β, где α∈V+, β∈V*

?) α→β, где α∈V*, β∈ V+

?) α↔β, где α∈V+, β∈V*

Вопрос id:1945667

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для классификации самого языка среди всех его грамматик всегда выбирается грамматика с классификационным типом

?) наиболее удобным для описания

?) минимально возможным

?) любым возможным

?) максимально возможным

Вопрос id:1945668

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

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

?) односторонние детерминированные

?) двусторонние детерминированные

?) односторонние недетерминированные

?) двусторонние недетерминированные

Вопрос id:1945669

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для контекстно-свободных языков распознавателями являются автоматы

?) двусторонние недетерминированные

?) двусторонние детерминированные

?) односторонние недетерминированные

?) односторонние детерминированные

Вопрос id:1945670

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

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

?) неукорачивающую

?) постоянную

?) регулярную

?) ограниченную

Вопрос id:1945671

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для минимизации автомата используется алгоритм

?) построения эквивалентных состояний КА

?) построения эквифинальных состояний КА

?) поиска экстремума

?) оптимизации

Вопрос id:1945672

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для операции обращения справедливо следующее равенство " α,β

?) (αβ)^R = α^Rβ^R

?) (αβ)^R = αβ^R

?) (αβ)^R = (βα)^R

?) (αβ)^R = β^Rα^R

Вопрос id:1945673

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для операции повторения справедливо следующее равенство " α: α² =

?) α*α

?) α+α

?) αα

?) α^Rα^R

Вопрос id:1945674

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для построения вывода по алгоритму Кока-Янгера-Касами грамматика должна быть в нормальной форме

?) Янгера-Касами

?) Хомского

?) Кока-Янгера-Касами

?) Кока-Янгера

Вопрос id:1945675

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для построения дерева вывода методом «сверху вниз» используется вывод

?) правосторонний

?) восходящий

?) левосторонний

?) нисходящий

Вопрос id:1945676

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для построения распознавателей LL(k)-грамматик используется множество терминальных цепочек, выводимых из α∈(VTÈVN)*, укороченных до k символов

?) FOLLOW(k,A)

?) FR(k,α)

?) FIRST(k,α)

?) k(FIRST)

Вопрос id:1945677

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для преобразования в нормальную форму Хомского предварительно грамматику надо

?) преобразовать в нормальный вид

?) упростить

?) детерминировать

?) преобразовать в приведенный вид

Вопрос id:1945678

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для преобразования произвольной КС-грамматики к приведенному виду, необходимо удалить: 1) единичные символы; 2) все бесплодные символы; 3) все недостижимые символы; 4) правила; 5) цепные правила - из перечисленного

?) 2, 3, 5

?) 1, 2, 3

?) 1, 4, 5

?) 3, 4, 5

Вопрос id:1945679

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для проверки принадлежности заданного языка классу КС-языков служит лемма о

?) однозначности

?) объединении

?) разрастании

?) правдоподобии

Вопрос id:1945680

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для распознавателя на основе алгоритма «сдвиг-свертка» естественным является построение дерева вывода

?) справа налево

?) слева направо

?) сверху вниз

?) снизу вверх

Вопрос id:1945681

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

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

?) двусторонние детерминированные

?) односторонние детерминированные

?) двусторонние недетерминированные

?) односторонние недетерминированные

Вопрос id:1945682

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Для языков с фразовой структурой необходим распознаватель - автомат

?) детерминированный односторонний

?) недетерминированный односторонний

?) недетерминированный двусторонний

?) детерминированный двусторонний

Вопрос id:1945683

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если α = «2334» то α^R =

?) «3»

?) «4332»

?) «234»

?) «432»

Вопрос id:1945684

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если α = «23», а β = «34», то αβ =

?) «4332»

?) «432»

?) «2334»

?) «234»

Вопрос id:1945685

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если α = β, то

?) |α| = β

?) α = |β|

?) |α| = |β|

?) α =|α +β|

Вопрос id:1945686

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если α, β и γ - регулярные выражения, то справедлива формула

?) α+(β+γ) = αβ+αγ

?) α+(β+γ) = (α+β)+γ

?) α+(β+γ) = (αβ)γ

?) α+(β+γ) = (α+β)γ

Вопрос id:1945687

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если V - некоторый алфавит, то множество всех цепочек над алфавитом V без l

?) V+

?) V-l

?) V*l

?) V*

Вопрос id:1945688

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если V - некоторый алфавит, то множество всех цепочек над алфавитом V, включая l

?) V+

?) V*l

?) V+l

?) V*

Вопрос id:1945689

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если в каждом из состояний конечного автомата для любого входного символа функция перехода содержится не более одного состояния, то конечный автомат называют

?) функционально однозначным

?) жестко детерминированным

?) однозначным

?) детерминированным

Вопрос id:1945690

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если в каждом состоянии конечного автомата существует функция перехода для всех возможных входных символов, то КА называют

?) функциональным

?) полнофункциональным

?) полностью определенным

?) состоявшимся

Вопрос id:1945691

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если в цепочке вывода вида АÞ+αАβ α =l и β¹l, то рекурсия

?) представляет собой рекурсию

?) является правой

?) является левой

?) представляет собой цикл

Вопрос id:1945692

Тема/шкала: 1409.02.01;МТ.01;1 - Модульный тест - Системное программное обеспечение (курс 1)

Если в цепочке вывода вида АÞ+αАβ α =l и β=l, то рекурсия

?) представляет собой рекурсию

?) является правой

?) представляет собой цикл

?) является левой

Страница:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29