An O(|T|3) Algorithm for Testing the Church-Rosser Property of Thue Systems.
Deepak KapurMukkai S. KrishnamoorthyRobert McNaughtonPaliath NarendranPublished in: Theor. Comput. Sci. (1985)
Keyphrases
- dynamic programming
- learning algorithm
- improved algorithm
- recognition algorithm
- optimal solution
- computational complexity
- preprocessing
- detection algorithm
- high accuracy
- search space
- times faster
- optimization algorithm
- linear systems
- probabilistic model
- np hard
- segmentation algorithm
- worst case
- test cases
- tree structure
- classification algorithm
- matching algorithm
- computational cost
- k means
- test suite
- objective function