●推导:如果A→>B是一个产生式,则有 aAy→>0βy,其中→表示一步推导(用A→β)。 这时称aBy是由aA直接推导的。→的含义是 使用一条规则,代替→左边的某个符号,产 生→右端的符号串 ●a→+β:表示α通过一步或多步可推导出β ●→*β:表示a通过0步或多步可推导出β⚫ 推导：如果A→是一个产生式，则有 A ,其中表示一步推导(用A →)。 这时称是由A直接推导的。 的含义是， 使用一条规则，代替左边的某个符号，产 生右端的符号串 ⚫  + : 表示通过一步或多步可推导出 ⚫  *  : 表示通过0步或多步可推导出