Re: [math-fun] Lexical distance?

Quoting Marc LeBrun <mlb@well.com>:

A very rough kind of ³lexical distance² between strings (possibly infinite) is just the number of symbols by which they differ.

Is there an Official Name for this?

This has already been pretty well answered, but it might be worth noting that this metric is the basis of the topology of symbolic dynamics, as defined by Hedlund, or discussed in the book by Marcus and Lind. - hvm ------------------------------------------------- www.correo.unam.mx UNAMonos Comunicándonos