これはこのページの過去の版です。4.35.94.219 (会話) による 2002年11月19日 (火) 03:36 (個人設定で未設定ならUTC)時点の版であり、現在の版とは大きく異なる場合があります。
人間がふだん使っている自然言語に対して、数式やプログラミング言語など、 形式的に定義された言語のことをさす。