程序設(shè)計(jì)語(yǔ)言模型的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、設(shè)計(jì)具有清晰語(yǔ)法定義、簡(jiǎn)單合適的程序設(shè)計(jì)語(yǔ)言模型,對(duì)于解釋程序設(shè)計(jì)語(yǔ)言是非常必要的.特別是近年來(lái),程序設(shè)計(jì)語(yǔ)言的飛速發(fā)展使得語(yǔ)言的功能和結(jié)構(gòu)都有了本質(zhì)的改變,所以建立合適的語(yǔ)言模型對(duì)于更好地理解程序設(shè)計(jì)語(yǔ)言發(fā)展的各個(gè)階段有很大的幫助.良好的語(yǔ)言模型應(yīng)該除去無(wú)關(guān)緊要的細(xì)節(jié),而集中于其本質(zhì)概念,以使得它足夠簡(jiǎn)單;另一方面,它又要有足夠的表現(xiàn)力來(lái)展示程序設(shè)計(jì)的大部分編程能力,達(dá)到兩者滿意的平衡是很不容易的.大部分研究程序設(shè)計(jì)語(yǔ)義專論中的語(yǔ)言模

2、型功能都非常簡(jiǎn)單,這對(duì)闡明實(shí)際的程序設(shè)計(jì)語(yǔ)言是遠(yuǎn)遠(yuǎn)不夠的,因?yàn)檫@些語(yǔ)言模型很少能完整地編寫(xiě)普通的實(shí)際程序.同時(shí),如果使用目前應(yīng)用的實(shí)際程序語(yǔ)言來(lái)表現(xiàn)高級(jí)程序設(shè)計(jì)語(yǔ)言的本質(zhì)概念也是不合適的,因?yàn)樗鼈兊囊?guī)則過(guò)于復(fù)雜.本文提出了一組程序設(shè)計(jì)語(yǔ)言族模型的設(shè)計(jì)與基本實(shí)現(xiàn),主要描述了命令式和面向?qū)ο蟪绦蛟O(shè)計(jì)語(yǔ)言的本質(zhì),用來(lái)研究程序設(shè)計(jì)語(yǔ)言間的關(guān)系,并且將程序語(yǔ)言模型的語(yǔ)法定義和語(yǔ)義描述結(jié)合在一起.這組語(yǔ)言模型結(jié)構(gòu)非常簡(jiǎn)單,能夠方便、嚴(yán)格地討論其語(yǔ)法

3、和語(yǔ)義,同時(shí)它的功能又足以用來(lái)編寫(xiě)程序?qū)嵗?特別是設(shè)計(jì)了精簡(jiǎn)的面向?qū)ο蟪绦蛟O(shè)計(jì)語(yǔ)言模型,它包括面向?qū)ο蟮幕咎卣饕约斑@種程序設(shè)計(jì)的全新理念.本文在設(shè)計(jì)語(yǔ)言族模型的基礎(chǔ)上,還為其設(shè)計(jì)了解釋程序,通過(guò)Java語(yǔ)言的解釋執(zhí)行,使得這些語(yǔ)言模型不僅停留在理論意義上的研究,而且能夠得以正確的實(shí)現(xiàn),解釋程序與編譯原理的知識(shí)有許多混合之處,將相關(guān)的概念和理論結(jié)合到實(shí)際的程序設(shè)計(jì)中,目前在討論計(jì)算機(jī)編譯方面和面向?qū)ο蠹夹g(shù)方面,對(duì)面向?qū)ο蟪绦蛟O(shè)計(jì)語(yǔ)言的直