Misalkan \(\Sigma^\ast\) adalah himpunan semua untai berhingga atas alfabet \(\Sigma\text{.}\) Buktikan bahwa banyak minimum operasi penyisipan, penghapusan, dan substitusi mendefinisikan metrik \(d_L\) pada \(\Sigma^\ast\text{.}\) Rubrik: jelaskan bahwa minimum ada, lalu buktikan keempat aksioma.