终结符和非终结符在电脑科学和语言学的领域是用来指定推导规则的元素。在某个形式语法之中，终结符和非终结符是两个不交的集合。
终结符."终结符"是一个形式语言的基本符号。就是说，它们能在一个形式语法的推导规则的输入或输出字符串存在，而且它们不能被分解成更小的单位。确切地说，一个语法的规则不能改变终结符。例如说，下面的语法有两个规则：在这种语法之中，"a"是一个终结符，因为没有规则可以把"a"变成别的符号。不过，有两个规则可以把"x"变成别的符号，所以"x"是非终结符。一个形式语法