Regular expressions are widely used, and they're written in a total language (at least, originally; PCREs are certainly not regular, although I don't recall see

Regular expressions are widely used, and they're written in a total language (at least, originally; PCREs are certainly not regular, although I don't recall seeing proof that they're universal).