stack(init.h.push(a).pop.h+) = stack(init.h.h+). ... but they could be converted into rules with h by replacing h+ by xxx.h for each symbol xxx in X. Hence ...
確定! 回上一頁