1
Мови, розпізнані DFA поліноміального розміру
Для фіксованого кінцевого алфавіту , формальний мову над є регулярним , якщо існує детермінований кінцевий автомат (ДКА) над , яка приймає рівно .ΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Мене цікавлять мови, які «майже» регулярні, в тому сенсі, що їх можна розпізнати за допомогою сімейства автоматизованих розмірів, що зростає лише поліноміально з довжиною слова. Формально, дозвольте …