How Can Size and Ceiling Bounds Affect the Complexity of Nonuniform Automata Families?
Abstract
In the past literature, families of two-way finite automata and pushdown automata having limited state complexity (i.e., the total number of inner states) and stack-state complexity (i.e., the total number of inner states multiplied by the total number of strings "pushable" to a stack), have been studied in direct connection to (mainstream) space-bounded complexity classes equipped with Karp-Lipton style advice of limited size when all inputs given to the automata have bounded length. Here, we acknowledge two major factors -- size and ceiling -- of such families, which have a significant impact on the complexity of finite and pushdown automata families, where the "size" refers to (stack-)state complexity and the "ceiling" refers to an input's length bound. In this line of study, we further explore those effects caused by different sizes and ceilings.
Keywords
Cite
@article{arxiv.2606.26685,
title = {How Can Size and Ceiling Bounds Affect the Complexity of Nonuniform Automata Families?},
author = {Tomoyuki Yamakami},
journal= {arXiv preprint arXiv:2606.26685},
year = {2026}
}
Comments
In Proceedings NCMA 2026, arXiv:2606.25881