规范LR(K)分析算法的优化

本文在规范LR(K)分析算法的状态集上引入进栈状态的概念,并由此给出一个优化算法,旨在减少语法分析时必须下压入下推栈的状态个数,提高语法分析速度,节省下推栈空间。     

关系传递闭包的一个充要条件

本文给出了关系传递闭包的一个充要条件,这个定理是“关系R是传递的充要条件是R(?)R~2”的推广。