Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests.

Published in: CoRR (2014)

Keyphrases

programming language
data structure
computational cost
computationally efficient
recently developed
learning algorithm
data sets
natural language
significant improvement
worst case
machine learning algorithms
post hoc