Edit Distance for Pushdown Automata.
Krishnendu ChatterjeeThomas A. HenzingerRasmus Ibsen-JensenJan OtopPublished in: CoRR (2015)
Keyphrases
- edit distance
- finite state
- similarity measure
- string matching
- string similarity
- edit operations
- distance function
- model checking
- distance measure
- graph matching
- finite automata
- string edit distance
- levenshtein distance
- regular expressions
- approximate string matching
- dynamic programming
- approximate matching
- tree structured data
- dissimilarity measure
- graph edit distance
- data sets
- distance computation
- subgraph isomorphism
- normalized edit distance
- finite alphabet
- xml data
- machine learning