Синтаксический моноид конечен в том случае, когда
Чтобы выяснить, является ли некоторый формальный язык автоматным, нужно
Использование специальных средств, позволяющих выяснять, является ли некоторый формальный язык автоматным
Язык является конечным, если
Рекурсивным является язык над алфавитом, если детерминированная машина Тьюринга
Разрешенным является язык над алфавитом, если детерминированная машина Тьюринга
Если существует конечный автомат, распознающий язык, то этот язык называется