由一组用来撰写程式，而且具有特定意义的字组，以及用来管理这些字组的特定法则，共同组成完整的程式语言。