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

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

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

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

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

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

?) 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 символов

?) k(FIRST)

?) FIRST(k,α)

?) FOLLOW(k,A)

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

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

?) «4332»

?) «234»

?) «3»

?) «432»

Вопрос id:1945684

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

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

?) «4332»

?) «2334»

?) «432»

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

?) V*l

?) V-l

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