关于pl0的应用程序,查找算法,关键子实现