Если для любого произвольно взятого элемента можно определить, принадлежит он некоторому множеству или нет, то такое множество называется:
Множество слов в произвольном алфавите А называется регулярным, если оно может быть получено из элементарных множеств путем конечного числа применений операции
Множество, которое может быть порождено некоторой вычислимой функцией, называется:
Множество распознаваемо конечным автоматом, если
Множество слов в произвольном алфавите, которое может быть получено из элементарных множеств путем конечного числа применений операций объединения, конкатенации, итерации, называется:
Формула называется общезначимой, если она
Предметная область называется моделью, если
Конечный автомат называется логическим, если
Исчисление предикатов называется разрешимым, если
Если А - это алфавит, то некоторое подмножество множества всех слов алфавита А называется