ACC0
-
Определение ACC0
- ACC0 — это класс вычислительных моделей, который включает в себя AC0 и отличается возможностью подсчета.
- ACC0 моделирует вычисления в разрешимых моноидах и имеет строгое включение в TC0.
-
Вычислительная мощность ACC0
- Задачи в ACC0 могут быть решены схемами с глубиной 2 и симметричными функциями.
- ACC0 не содержит NEXPTIME и NQP, а также не может вычислить перманент.
-
Формальное определение ACC0
- Язык принадлежит к ACC0, если он может быть вычислен схемами из семейства C1, C2, …, где каждая схема имеет постоянную глубину и полиномиальный размер.
-
Связь с NUDFA
- ACC0 может быть определен в терминах NUDFA над моноидами, где входные данные интерпретируются как элементы моноида.
-
Доказательства и границы
- Уильямс (2011) и Мюррей и Уильямс (2018) доказали, что ACC0 не содержит NEXPTIME и NQP соответственно.
-
Примеры записей
- В статье приведены примеры записей для парсера, включая идентификаторы, блокирующие элементы и стили форматирования.
Полный текст статьи: