An Extended Direct Branching Algorithm for Checking Equivalence of Deterministic Pushdown Automata.
Etsuji TomitaPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- theoretical analysis
- optimal solution
- experimental evaluation
- cost function
- high accuracy
- times faster
- learning algorithm
- preprocessing
- matching algorithm
- computational cost
- improved algorithm
- classification algorithm
- significant improvement
- dynamic programming
- computationally efficient
- segmentation algorithm
- computational complexity
- deterministic finite automata
- relative entropy
- recognition algorithm
- ant colony optimization
- optimization algorithm
- expectation maximization
- simulated annealing
- search space