Re: Average-case analysis of Hopcroft's DFA minimization algorithm?



On Feb 11, 5:07 am, Sheldon Nicholl <sheld...@xxxxxxxxxxx> wrote:
Has anyone done an average-case analysis of the running time of
Hopcroft's n log n DFA minimization algorithm? I can find no
average case analyses, even in modern reports such as [1] or [2].

If not, has anyone done other kinds of average-case analyses
of other interesting algorithms on deterministic finite-state
automata, to give an idea of how this is done?

I suggest you look at the classic text book of Hopcroft, Ullman and
Motwani on Automata theory and languages. There the DFA Minimization
algorithm has been analysed in good detail w.r.t the table filling
algorithm (which is NOT O(nlogn)).

Took look for the average case "explanation" go through the "dragon
book" of compilers - Compilers: Principles and techniques - Aho, Sethi
and Ullman. They have given a good explanation of the algorithm - in a
manner that the average/worst/best cases can easily be "worked out"

I hope they are useful.

Nupul.

.



Relevant Pages

  • Re: What I learned from Class Viewer
    ... displaced by such a trivially easy algorithm? ... as the distance information dropped away. ... by simply assuming that the weight is a distance between nodes ... There isn't anything more I can do besides the general explanation, ...
    (comp.lang.java.programmer)
  • Re: Problem with Montgomery product
    ... > I read the paper "Analyzing and Comparing Montgomery Multiplication ... I think that the explanation is not very ... > difficult (because I didn't find a paper with an explicit explanation ... explain how the basic algorithm works from which you can figure out ...
    (sci.crypt)
  • RE: Cosine of 90 degrees
    ... Computers work in binary is part of the explanation. ... The algorithm used doesn't address 0 specifically, ... Excel 07, XPPro SP3. ...
    (microsoft.public.excel.worksheet.functions)
  • Re: Lexicons
    ... > Is there an algorithm for computing the shortest representation of a ... > given sequence of digits? ... > have no short explanation, and yet x is not normal? ... Normality is not necessarily connected with randomness, ...
    (sci.math)
  • Re: JSH: Step by step through the factoring algorithm
    ... complete explanation of the algorithm with an example. ... derivation of the time-complexity. ...
    (sci.math)