Existential Diophantine definability of string length.

Published in: Theor. Comput. Sci. (2019)

Keyphrases

finite alphabet
arbitrary length
alphabet size
fixed point
data structure
query answering
regular expressions
fixed length
pattern matching
edit operations
string matching
propositional logic
total length
edit distance
approximate string matching
real time
information systems
neural network