Re: [math-fun] Lexical distance?

="mcintosh@servidor.unam.mx"

This has already been pretty well answered,

Yes--and many thanks to everyone here for the many good leads to follow up. Having names for googling sure helps a lot!

this metric is the basis of the topology of symbolic dynamics

Interesting. I'm trying to grok processes where infinite strings can be said to converge element-wise, but the strings themselves are only roughly inter-related--having Hamming distance, but no meaningful lexical order.