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

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

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

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

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

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

?) 1, 2, 4, 5

?) 3, 4, 5, 6

?) 1, 2, 3, 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 правила имеют вид

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

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

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

?) α↔β, где α∈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 символов

?) FIRST(k,α)

?) FOLLOW(k,A)

?) FR(k,α)

?) k(FIRST)

Вопрос id:1945677

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

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

?) упростить

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

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

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

Вопрос id:1945678

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

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

?) 1, 2, 3

?) 2, 3, 5

?) 3, 4, 5

?) 1, 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»

?) «234»

?) «432»

?) «4332»

Вопрос id:1945684

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

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

?) «4332»

?) «2334»

?) «234»

?) «432»

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

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