The complexity of a counting finite-state automation

Abstract

A counting finite-state automaton is a nondeterministic finite-state automaton which, on an input over its input alphabet, (magically) writes in binary the number of accepting computations on the input. We examine the complexity of computing the counting function of an NFA, and the complexity of recognizing its range as a set of binary strings. We also… (More)
DOI: 10.1007/3-540-50517-2_83

Topics

Cite this paper

@article{Rich1988TheCO, title={The complexity of a counting finite-state automation}, author={Craig A. Rich and Giora Slutzki}, journal={Acta Cybern.}, year={1988}, volume={9}, pages={403-417} }