Исчисление называется формально непротиворечивым, если:

Исчисление называется полным, если:

Исчисление называется достоверным, если:

Исчисление разрешимо, если:

Грамматика называется регулярной, если:

Грамматика называется контекстно-зависимой, если:

Грамматика называется контекстно-свободной, если

Грамматика называется рекурсивно-перечислимой, если:

Если алгоритм поиска A является допустимым, он называется:

Как называется грамматика в классификации по Хомскому, если она задается правилами общего вида?

Формула F называется общезначимой, если: