diffhistFormal language16:31+31Nyngwangtalkcontribs(linking: redirect the link in the opening to the definition; create a new internal link between "Formal language" and "Alphabet (formal languages)" to form a mutual link.)
diffhistFormal language16:01+217Nyngwangtalkcontribs(make it clear that it's "a formal language over an alphabet" instead of just "a formal language", where the latter is the source of confusions/vagueness.)
diffhistFormal language15:12−47Nyngwangtalkcontribs(Prefer inclusive atomic term "symbols" instead of a sequence of terms "symbol, letters, or token" to describe a set; quote the term "words", which has special meaning in formal language.)
diffhistFormal language14:40+272Nyngwangtalkcontribs(Rewrite the opening so every new term is introduced in the format: "math-term (i.e. common-term in field-outside-of-math)", which should be more accessible for readers outside of math fields.)