Ambiguity, nondeterminism and state complexity of finite automata

The degree of ambiguity counts the number of accepting computations of a nondeterministic finite automaton (NFA) on a given input. Alternatively, the nondeterminism of an NFA can be measured by counting the amount of guessing in a single computation or the number of leaves of the computation tree on...

Full description

Saved in:
Bibliographic Details
Main Authors: Han Yo-Sub
Salomaa Arto
Salomaa Kai
Format: Article
Published: 2017
Series:Acta cybernetica 23 No. 1
Kulcsszavak:Automaták elmélete - véges, Algebra, Véges automaták, Matematikai logika
Subjects:
doi:10.14232/actacyb.23.1.2017.9

Online Access:http://acta.bibl.u-szeged.hu/50067
Description
Summary:The degree of ambiguity counts the number of accepting computations of a nondeterministic finite automaton (NFA) on a given input. Alternatively, the nondeterminism of an NFA can be measured by counting the amount of guessing in a single computation or the number of leaves of the computation tree on a given input. This paper surveys work on the degree of ambiguity and on various nondeterminism measures for finite automata. In particular, we focus on state complexity comparisons between NFAs with quantified ambiguity or nondeterminism.
Physical Description:141-157
ISSN:0324-721X