计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2004年
1期
9-14
,共6页
上下文无关语言%句子枚举%最小序句子
上下文無關語言%句子枚舉%最小序句子
상하문무관어언%구자매거%최소서구자
形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子,现有的枚举方法较少且效率较低.以上下文无关语言.L(G).的最小序句子和最大序句子为基础,从最小序句子开始按照一定的顺序扫描字符串,直至扫描到最大序句子为止,对被扫描的字符串进行判断取舍.在扫描的过程中采用削减和前瞻策略,很大程度上减少了被扫描的字符串个数,可以取得较好的时空性能.实验数据表明,基于最小序句子的枚举方法比其他上下文无关语言句子枚举方法具有更高的效率.
形式規約穫取繫統SAQ和一些形式化驗證繫統中常常需要枚舉上下文無關語言的句子,現有的枚舉方法較少且效率較低.以上下文無關語言.L(G).的最小序句子和最大序句子為基礎,從最小序句子開始按照一定的順序掃描字符串,直至掃描到最大序句子為止,對被掃描的字符串進行判斷取捨.在掃描的過程中採用削減和前瞻策略,很大程度上減少瞭被掃描的字符串箇數,可以取得較好的時空性能.實驗數據錶明,基于最小序句子的枚舉方法比其他上下文無關語言句子枚舉方法具有更高的效率.
형식규약획취계통SAQ화일사형식화험증계통중상상수요매거상하문무관어언적구자,현유적매거방법교소차효솔교저.이상하문무관어언.L(G).적최소서구자화최대서구자위기출,종최소서구자개시안조일정적순서소묘자부천,직지소묘도최대서구자위지,대피소묘적자부천진행판단취사.재소묘적과정중채용삭감화전첨책략,흔대정도상감소료피소묘적자부천개수,가이취득교호적시공성능.실험수거표명,기우최소서구자적매거방법비기타상하문무관어언구자매거방법구유경고적효솔.