×

Worst case branching and other measures of nondeterminism. (English) Zbl 1371.68163

Summary: Many nondeterminism measures for finite automata have been studied in the literature. The tree width of an NFA (nondeterministic finite automaton) counts the number of leaves of computation trees as a function of input length. The trace of an NFA is defined in terms of the largest product of the degrees of nondeterministic choices in computations on inputs of given length. Branching is the corresponding best case measure based on the product of nondeterministic choices in the computation that minimizes this value. We establish upper and lower bounds for the trace of an NFA in terms of its tree width. We give a tight bound for the size blow-up of determinizing an NFA with finite trace. Also we show that the trace of any NFA either is bounded by a constant or grows exponentially.

MSC:

68Q45 Formal languages and automata
Full Text: DOI

References:

[1] Goldstine Jonathan, J. UCS 8 (2) pp 193– (2002)
[2] DOI: 10.1016/0890-5401(90)90053-K · Zbl 0698.68068 · doi:10.1016/0890-5401(90)90053-K
[3] DOI: 10.1016/0890-5401(92)90014-7 · Zbl 0752.68056 · doi:10.1016/0890-5401(92)90014-7
[4] DOI: 10.1016/j.ic.2010.11.013 · Zbl 1217.68130 · doi:10.1016/j.ic.2010.11.013
[5] DOI: 10.1006/inco.2001.3069 · Zbl 1009.68067 · doi:10.1006/inco.2001.3069
[6] Kappes Martin, Languages and Combinatorics 5 (3) pp 269– (2000)
[7] DOI: 10.1007/BF00263994 · Zbl 0423.68016 · doi:10.1007/BF00263994
[8] DOI: 10.1007/s002360050133 · Zbl 0923.68090 · doi:10.1007/s002360050133
[9] DOI: 10.1137/S0097539793252092 · Zbl 0911.68144 · doi:10.1137/S0097539793252092
[10] DOI: 10.1142/S0129054105003418 · Zbl 1090.68059 · doi:10.1142/S0129054105003418
[11] DOI: 10.1016/j.ic.2012.01.003 · Zbl 1280.68118 · doi:10.1016/j.ic.2012.01.003
[12] DOI: 10.1137/0218083 · Zbl 0692.68049 · doi:10.1137/0218083
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.