计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2002年
5期
459-466
,共8页
形式规约语言%上下文无关语言%递归函数
形式規約語言%上下文無關語言%遞歸函數
형식규약어언%상하문무관어언%체귀함수
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色.形式规约语言LFC是为支持软件形式规约的获取工作而开发的.该语言以一种新的递归函数,即定义在上下文无关语言上的递归函数为基础,以上下文无关语言为数据类型,在语言级支持规约获取.LFC语言已被用作形式规约获取系统SAQ的一部分.使用表明,LFC是一个能力强、易使用的语言,适合软件形式规约获取之用,并且适合其它一些用途.
該文介紹瞭形式規約語言LFC設計的一些主要方麵,併通過例子說明瞭LFC的一些特色.形式規約語言LFC是為支持軟件形式規約的穫取工作而開髮的.該語言以一種新的遞歸函數,即定義在上下文無關語言上的遞歸函數為基礎,以上下文無關語言為數據類型,在語言級支持規約穫取.LFC語言已被用作形式規約穫取繫統SAQ的一部分.使用錶明,LFC是一箇能力彊、易使用的語言,適閤軟件形式規約穫取之用,併且適閤其它一些用途.
해문개소료형식규약어언LFC설계적일사주요방면,병통과례자설명료LFC적일사특색.형식규약어언LFC시위지지연건형식규약적획취공작이개발적.해어언이일충신적체귀함수,즉정의재상하문무관어언상적체귀함수위기출,이상하문무관어언위수거류형,재어언급지지규약획취.LFC어언이피용작형식규약획취계통SAQ적일부분.사용표명,LFC시일개능력강、역사용적어언,괄합연건형식규약획취지용,병차괄합기타일사용도.
