множина A має потужність, яка більша потужності B

множини A і B рівнопотужні

множина A має потужність, яка не менша потужності B

множина A має потужність, яка не більша потужності B

Таблиця переходів автомата

Множина регулярних виразів

Система правил для побудови слів мови

Множина символів

оператор циклу

символ, стан головки, напрям переміщення

нема правильної відповіді

оператор розгалуження

Їх не можна розпізнати автоматом

Вони мають контекстну граматику

 Їх можна описати регулярним виразом

Вони завжди нескінченні

Контекстно-залежна

Регулярна

Рекурсивно перелічувана

Контекстно-вільна

не менше чотирьох мов

тільки одну мову

як мінімум кілька мов

велику кількість мов

Автомат з обмеженим стеком

Модель обчислення з одновимірною стрічкою та простими командами

Автомат, що приймає регулярні мови

Модель, що працює з графами

Автомат, у якому з одного стану на один символ можливі кілька переходів

Автомат, що не має приймальних станів

Автомат, що працює без алфавіту

Автомат, у якому кожен стан має лише один вихід

Додавання числа

Перевірка символу

Запис символу

Перехід ліворуч

Множина станів

Алфавіт

Стек

Функція переходів станів