Limitedness Theorem on Finite Automata with Distance Functions: An Algebraic Proof.
Hing LeungPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- distance function
- finite automata
- interactive theorem proving
- regular expressions
- deterministic automata
- similarity search
- metric space
- nearest neighbor
- knn
- probabilistic automata
- grammatical inference
- euclidean distance
- distance metric
- distance measure
- similarity function
- tree automata
- edit distance
- distance computation
- k nearest neighbor
- hidden markov models
- finite automaton
- knn classification
- data points