On binary -NFAs and succinct descriptions of regular languages

https://doi.org/10.1016/j.tcs.2004.07.012Get rights and content
Under an Elsevier user license
open archive

Abstract

We prove a new lower bound for the number of distinct languages accepted by binary symmetric difference automata (-NFAs), and compare that to Domaratzki's results (J. Automata Languages Combin. 7(4) (2002) 469) for (traditional) binary nondeterministic finite automata (NFAs). We also show that there are certain regular languages which are accepted by succinct -NFAs, but for which no succinct traditional NFA exists.

Keywords

Automata
Nondeterminism
Succinctness

Cited by (0)

This research was supported by NRF Grant #2053436.