Наличие числового критерия для языков над однобуквенным алфавитом определяет

Установка числового критерия автоматности для языков над однобуквенным алфавитом

Критерий автоматности для языков над однобуквенным алфавитом бывает:

Произведение операции пересечения языков, заданных над одним и тем же алфавитом

Алфавитом называется

Некоторый язык над алфавитом задает

Каждое регулярное выражение над алфавитом задает

Разрешенным является язык над алфавитом, если детерминированная машина Тьюринга

Если существует детерминированная машина Тьюринга, то язык над алфавитом называется

Рекурсивным является язык над алфавитом, если детерминированная машина Тьюринга

Объединение линейных языков