We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Maximal automatic complexity and context-free languages

Abstract: Let $A_N$ denote nondeterministic automatic complexity and \[
L_{k,c}=\{x\in [k]^* : A_N(x)> |x|/c\}. \] In particular, $L_{k,2}$ is the language of all $k$-ary words for which $A_N$ is maximal, while $L_{k,3}$ gives a rough dividing line between complex and simple. Let $\mathbf{CFL}$ denote the complexity class consisting of all context-free languages. While it is not known that $L_{2,2}$ is infinite, Kjos-Hanssen (2017) showed that $L_{3,2}$ is $\mathbf{CFL}$-immune but not $\mathbf{coCFL}$-immune. We complete the picture by showing that $L_{3,2}\not\in\mathbf{coCFL}$.
Turning to Boolean circuit complexity, we show that $L_{2,3}$ is $\mathbf{SAC}^0$-immune and $\mathbf{SAC}^0$-coimmune. Here $\mathbf{SAC}^0$ denotes the complexity class consisting of all languages computed by (non-uniform) constant-depth circuits with semi-unbounded fanin.
As for arithmetic circuits, we show that $\{x:A_N(x)>1\}\not\in\oplus\mathbf{SAC}^0$. In particular, $\mathbf{SAC}^0\not\subseteq\oplus \mathbf{SAC}^0$, which resolves an open implication from the Complexity Zoo.
Comments: Automata Theory and Applications: Games, Learning and Structures (20-24 Sep 2021). Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
Subjects: Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
Cite as: arXiv:2206.10130 [cs.FL]
  (or arXiv:2206.10130v1 [cs.FL] for this version)

Submission history

From: Bjørn Kjos-Hanssen [view email]
[v1] Tue, 21 Jun 2022 06:22:38 GMT (15kb)

Link back to: arXiv, form interface, contact.