# Is there a metric or distance of two languages?

Given a language $$L$$, I am finding a method to evaluate the advantage of an automaton to decide $$L$$.

My goal is to decide a language $$L$$ (and maybe it is not decidable for automata). If one constructs an automaton $$A_{1}$$ whose laguage is $$L_{1}$$, I want to know the advantage of $$A_{1}$$ for decisidng $$L$$. If there is a distance or metric of two languages $$d(\cdot, \cdot)$$, I can define $$\mathrm{Adv}_{L}(A_{1}) = d(L_{1}, L)$$. Thus, we can say $$A_{1}$$ is better than $$A_{2}$$ respect of $$L$$ if $$\mathrm{Adv}_{L}(A_{1}) > \mathrm{Adv}_{L}(A_{2})$$.

In my opinion, the follow conditions are satisfied at least.

1 It is non-negativity and identity of indiscernibles, $$d(L_{1}, L_{2}) \geq 0 ~\text{iff}~L_{1} = L_{2}$$.

2 It is symmetry, $$d(L_{1}, L_{2}) = d(L_{2}, L_{1})$$.

3 If $$L_{1} \cap L \subseteq L_{2} \cap L$$ and $$L_{1} \setminus L = L_{2} \setminus L$$, then $$d(L,L_{1}) \leq d(L,L_{2})$$.

4 If $$L_{1} \cap L = L_{2} \cap L$$ and $$L_{1} \setminus L \subseteq L_{2} \setminus L$$, then $$d(L,L_{1}) \geq d(L,L_{2})$$.

Note that I am not sure the condition 3 and condition 4 above is suitful.