Проверка истинности утверждения на первом шаге при n=1 в методе математической индукции называется

Правильный ответ:

• # Синонимом названия операции конъюнкции является
• # К операциям над машинами Тьюринга относятся:
• # В определении конечного автомата не содержится
• # Примером формальной системы является
• # Синонимичное название грамматики типа 1 в классификации грамматик Хомского - это