Complexity of NFA
- From: andywx@xxxxxxxxx
- Date: 13 Jan 2006 08:54:02 -0800
Hello,
I'm not very familiar with the theory of computation. When I read a
paper recently,
I can't understand why the following proposition is true.
"... Consider an NFA N, and a string a1 ... an ∈L(N). There is a
sequence of
renamings u(ai1, b1), ... , u(aim, bm), where i1 < i2 < ... < im.
The renaming u(aij, bj) requires that the aij be renamed to bj. We
would like
to efficiently check whether the updated string
a1 ... ai1-1 b1 ai1+1 ... aim-1 bm aim+1 ... an ∈L(N)
Validating the new string from scratch by running it through N takes O(
n * |Q|^2 * log|Q| ) ..."
I don't know how the complexity O( n * |Q|^2 * log|Q| ) for the
algorithm that recognizes the
language accepted by NFA is derived. Is this a well-known conclusion in
the automaton theory, or
a result that must be calculated in some way?
Would anyone kindly help me please?
Thanks in advance.
.
- Prev by Date: Genus reduction of a triangular mesh
- Next by Date: Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf]
- Previous by thread: Genus reduction of a triangular mesh
- Next by thread: Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf]
- Index(es):
Relevant Pages
|