Множество, которое может быть порождено некоторой вычислимой функцией, называется:

Множество слов в произвольном алфавите, которое может быть получено из элементарных множеств путем конечного числа применений операций объединения, конкатенации, итерации, называется:

Множество слов в произвольном алфавите А называется регулярным, если оно может быть получено из элементарных множеств путем конечного числа применений операции

Утверждение о некоторой теореме исчисления предикатов, подлежащее доказательству, называется

Множество называется перечислимым, если

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

Машина Тьюринга может быть задана:

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

Множество вида (01001000100001...) является:

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

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