Алгоритмы и теория вычислений - тест 8

Определение формальной системы включает в себя

Вычисление или определение функции через нее саму в вычисленных или определенных ранее значениях называется

Правила формальной системы имеют вид

Объектами формальной системы могут быть

Правила построения новых объектов в формальной системе называются

Типы данных в языках программирования введены для

Примером формальной системы является

Всякая формальная система задает

Примером формальной системы является

Дискретность формальной системы означает, что

Формальность формальной системы означает

Наполнение формальной системы смыслом называется

Существенность в формальной системе - это

С синтаксической точки зрения все записанное в формальной системе

Формальная система определяется

Правило вывода в формальной системе - это

Множество аксиом формальной системы

В выводе в контексте формальной системы каждое слово - это либо

Если А - это алфавит, то некоторое подмножество множества всех слов алфавита А называется

Пусть А - некоторый алфавит. Тогда языком алфавита А называется

Формальная грамматика  - это четверка, состоящая из

В определении формальной грамматики отсутствует

Язык, порождаемый формальной грамматикой - это

Может ли быть выводимым один и тот же язык в контексте формальной грамматики разными грамматиками?

Две грамматики эквивалентны, если

Если один и тот же язык выводим несколькими грамматиками, то такие грамматики называются:

В контексте формальной грамматики слова алфавита называются:

Множество правил в формальной грамматике

Согласно классификации Хомского все формальные грамматики делятся на:

Синонимичное название грамматики типа 1 в классификации грамматик Хомского - это

Грамматика типа 2 согласно классификации грамматик Хомского называется:

Грамматика типа 3 согласно классификации грамматик Хомского называется:

Регулярная грамматика согласно классификации Хомского относится к классу

Контекстно-свободная грамматика согласно классификации Хомского относится к классу

Неукорачивающая грамматика согласно классификации Хомского относится к классу

Контекстная грамматика согласно классификации Хомского относится к классу