Implicit automata in {\lambda}-calculi III: affine planar string-to-string functions.

Cécilia Pradic Ian Price

Published in: CoRR (2024)

Keyphrases

regular expressions
pattern matching
edit distance
string matching
data structure
cellular automata
finite state machines
suffix tree
finite state automata
levenshtein distance
suffix array
finite automata
data model
feature points
affine transformation
piecewise affine