Добре відомо, що регулярний вираз можна розпізнати за недетермінованим кінцевим автоматом розміром, пропорційним регулярному виразу, або детермінованим ФА, який потенційно є експоненціально більшим. Крім того, з огляду на рядок та регулярний вираз r , NFA може перевірити приналежність у часі, пропорційному | s | ⋅ | r | , і DFA може перевірити членство в часі, пропорційному | s |. Уповільнення для NFA виникає через те, що по суті нам потрібно відстежувати набори можливих станів, в яких може знаходитися автомат, і експоненціально вибух для DFA виникає з того, що його стани є елементами набору потужностей станів NFA.
Чи можливо ефективно (тобто за часом краще, ніж , і простір, кращий за O ( 2 | r | ) ), розпізнавати регулярні вирази, якщо ми дозволимо використовувати більш потужні машини, ніж кінцеві автомати? (Наприклад, чи є приріст лаконічності в розпізнаванні звичайних мов за допомогою автоматичних автоматичних пристроїв чи лічильників?)