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

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

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

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

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

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

?) 3, 4, 5, 6

?) 1, 2, 4, 5

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

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

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

?) FIRST(k,α)

?) FR(k,α)

?) FOLLOW(k,A)

?) k(FIRST)

Вопрос id:1945677

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

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

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

?) упростить

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

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

Вопрос id:1945678

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

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

?) 1, 4, 5

?) 1, 2, 3

?) 3, 4, 5

?) 2, 3, 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 =

?) «432»

?) «3»

?) «234»

?) «4332»

Вопрос id:1945684

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

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

?) «4332»

?) «234»

?) «2334»

?) «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*l

?) V+

?) V*

Вопрос id:1945688

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

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

?) V+l

?) V+

?) V*

?) V*l

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