广义上下文无关文法和它的语法分析

本文介绍了广义上下文无关文法,这种文法允许正则表达式出现在产生式的右部。然后,我们定义了相应的LR(κ)文法。紧接着我们给出了一种分析算法,它是由正规的LR型分析算法扩充而得的。在这个方法中我们强调节省状态,并在此条件下使分析算法尽可能地简单。     

PROLOG语言中的一个逻辑问题

一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已引起世界各国的广泛重视。但是,它还存在着若干不足之处,其中关于逻辑非(否定)的定义,就存在着严重的问题。     

BCLR(k)文法及其分析算法

LR(k)是很重要的一类文法,但是用正规方法构成的分析算法,需要过多的状态和很大的存储空间,因此它不适合于实际应用。后来虽然提出了SLR(k)和LALR(k)文法,但是它们都只是LR(k)文法较小的子集。本文给出了状态图和状态链的概念,并且定义了BCLR(k)文法。它是LR(k)文法较大的子集,并且包含了作为它的真子集的LALR(k)和SLR(k)文法。可是它所需的状态数却与SLR(k)文法一样多。在本文的最后,我们对算法作了某些改动,使之能分析一般的LR(k)文法。