3g automata 2dfa two-way deterministic finite automata algorithm analysis binomial heap
Tout plus