The minimum standard for a markup language is decidability. A decidable language is one for which there exists a computer program that always halts on any input with a yes or no answer for membership in the language.