A Direct Branching Algorithm for Checking Equivalence of Some Classes of Deterministic Pushdown Automata
Etsuji TomitaPublished in: Inf. Control. (1982)
Keyphrases
- preprocessing
- experimental evaluation
- dynamic programming
- learning algorithm
- cost function
- times faster
- optimization algorithm
- k means
- significant improvement
- computationally efficient
- worst case
- detection algorithm
- segmentation algorithm
- theoretical analysis
- high accuracy
- computational complexity
- support vector machine
- probabilistic model
- search space
- clustering method
- objective function
- improved algorithm
- finite state automaton
- neural network
- simulated annealing
- expectation maximization
- computational cost
- optimal solution
- cellular automata
- recognition algorithm
- finite state automata