Мова L(G) є мовою типу k, якщо її можна описати

граматикою типу k.

Для того щоб множина

була

регулярною, необхідно й достатньо, щоб її

розпізнав скінчений автомат.

Суперпозиція - це спосіб отримання нових

функцій

Чи можуть вершини повторюватись у черзі при обході

Коли закінчується алгоритм обходу графа вшир?

Висловлення В є логічним наслідком висловлення А, якщо формула A B є:

Скільки чотирицифрових чисел можна утворити з цифр 0, 1, 2, 3, не повторюючи їх?

Чи являється відношення бієктивним, якщо воно сюр'єктивне і ін'єктивне?

Алгоритм можна подати у формі:

Які вершини дерева називаються внутрішніми?