終結符與非終結符 終結符和非終結符在電腦科學和語言學的领域是用來指定推導規則的元素在某個形式語法之中終結符和非終結符是兩個不交的集合