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