若状态k含有项目“A→α・”,对任意非终结符a属于FOLLOW(A)

2022-08-03 15:30 编译原理