ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語

ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語(ﾌﾟﾛｸﾞﾗﾐﾝｸﾞげんご)はｺﾝﾋﾟｭｰﾀに対する一連の動作の指示を記述するための人工言語の総称であるISO 5127?Information and documentation?Vocabulary, clause 01.05.10 では､ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語を｢ﾌﾟﾛｸﾞﾗﾑを記述するための人工言語｣と定義している｡｡この一連の指示をﾌﾟﾛｸﾞﾗﾑと呼び､それを記述することをﾌﾟﾛｸﾞﾗﾐﾝｸﾞと呼ぶ｡自然言語と同様､統語論(構文)規則と意味論規則で定義される｡通常､それらを示した文書で仕様が示されるが､公式の実装だけで定義される言語もある｡

ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語は､情を組織し処理するﾀｽｸについての理解を容易にし､ｱﾙｺﾞﾘｽﾞﾑを正確に表現する｡場合によっては､あらゆるｱﾙｺﾞﾘｽﾞﾑを記述できる言語だけを｢ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語｣と定義することもある数学的には､これはﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語がﾁｭｰﾘﾝｸﾞ完全であることを意味する｡｡そこまでの機能のない人工言語を｢ｺﾝﾋﾟｭｰﾀ言語｣と呼ぶこともある｡

様々なﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語2008年2月現在､The Encyclopedia of Computer Languages (Murdoch University､ｵｰｽﾄﾗﾘｱ)には8152のｺﾝﾋﾟｭｰﾀ言語がﾘｽﾄｱｯﾌﾟされてい｡が､毎年のように生み出されている｡