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