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

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

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

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

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

Страница:
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, 4, 5

?) 1, 2, 3, 6

?) 1, 2, 3, 4

?) 3, 4, 5, 6

Вопрос 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 символов

?) FR(k,α)

?) k(FIRST)

?) FOLLOW(k,A)

?) FIRST(k,α)

Вопрос id:1945677

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

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

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

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

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

?) упростить

Вопрос id:1945678

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

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

?) 2, 3, 5

?) 3, 4, 5

?) 1, 4, 5

?) 1, 2, 3

Вопрос 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 =

?) «432»

?) «3»

?) «234»

?) «4332»

Вопрос id:1945684

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

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

?) «432»

?) «2334»

?) «234»

?) «4332»

Вопрос 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-l

?) V*l

?) V*

?) V+

Вопрос id:1945688

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

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

?) V+l

?) V+

?) 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