簡単にいえば、そのプログラミング言語の文法・記号などの意味を厳密に規定したドキュメントのこと。