我们称αAβ直接推出αγβ，即αAβTαγβ，仅当A→γ是一个产生式，且α、β∈(VN∪VT)*。如果α1Tα2T…Tαn，则我们称这个序列是从α1至α2的一个推导。若存在一个从α1αn的推导，则称α1可推导出αn。推导是归约的逆过程。（）

我们称αAβ直接推出αγβ，即αAβTαγβ，仅当A→γ是一个产生式，且α、β∈(VN∪VT)*。如果α1Tα2T…Tαn，则我们称这个序列是从α1至α2的一个推导。若存在一个从α1αn的推导，则称α1可推导出αn。推导是归约的逆过程。（）
A.正确
B.错误
正确答案：A