Eu quero definir uma noção de "proximidade" entre duas linguagens regulares de palavras finitas em (e / ou palavras infinitas em Σ w ). A idéia básica é que queremos que dois idiomas estejam próximos se eles não diferirem em muitas palavras. Também poderíamos usar a distância de edição de alguma maneira ... Não foi possível encontrar boas referências sobre esse problema.
Não chamo de distância, porque não exijo que todos os axiomas de distância sejam verdadeiros (embora não sejam ruins se forem).
Essa "distância" é estudada? Existem referências sobre o assunto (possivelmente com opções alternativas para a função de distância)? Qualquer ajuda ou ponteiro seria apreciada, obrigado.