徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

ALGOL

指数 ALGOL

ALGOL,名稱源自演算法語言(ALGOrithmic Language)的縮寫,是一族指令式編程語言,發展於1950年代中期,對許多其它程式語言產生了重大影響。计算机协会在教科書及學術文章採用此語言做為描述演算法的標準語法超過三十年。 由大多數近代程式語言皆使用類似ALGOL的語法來看,ALGOL可與差不多同時期的FORTRAN、LISP及COBOL並列為四大最有影響力的高階語言。ALGOL被設計用來避免FORTRAN中一些已知的問題,最終引領了許多其它程式語言的興起,包括PL/I、Simula、BCPL、B、Pascal及C。 ALGOL引入了程式碼區間,並用begin⋯end來分隔。它是第一個利用詞法作用域實作巢狀函式的語言,也是第一個注重形式語言定義的語言,並在ALGOL 60報告中引入了巴科斯範式來作為設計語言形式文法的原則。 ALGOL主要有三種規格,以初次發表的年份命名:.

32 关系: ALGOL 58ALGOL 60ALGOL 68ALGOL W尼克劳斯·维尔特巴科斯范式巴黎形式语言形式文法作用域图灵奖BCPLB語言C语言COBOL算法約翰·巴科斯縮寫约翰·麦卡锡计算机协会艾伦·佩利递归FortranLISPPascal (程式語言)Pascal (programming language)PL/IPL360SchemeSimula東尼·霍爾指令式編程

ALGOL 58

ALGOL 58(源自ALGOrithmic Language 1958 的縮寫),最早稱為国际代数语言(International Algebraic Language,縮寫為 IAL),一種程式語言,ALGOL家族的第一個成員。它在1958年問世,ALGOL 60即是它的基礎上開發而成。.

新!!: ALGOL和ALGOL 58 · 查看更多 »

ALGOL 60

ALGOL 60(源自ALGOrithmic Language 1960的縮寫),一種程式語言,是ALGOL語言家族中的成員之一。根據ALGOL 58的基礎,它在1960年被創造,並影響到其後的CPL、BCPL、B語言、Pascal、Simula、C語言,在程式語言中有著很大的影響力。 它的後繼者是ALGOL 68與ALGOL W。.

新!!: ALGOL和ALGOL 60 · 查看更多 »

ALGOL 68

ALGOL 68(源自ALGOrithmic Language 1968的縮寫),一種指令式程式語言,為ALGOL家族的成員,被認為是ALGOL 60的後繼者。它設計的目標,是提供更廣泛的應用,以及更嚴格的語法定義。.

新!!: ALGOL和ALGOL 68 · 查看更多 »

ALGOL W

ALGOL W,一種程式語言,為ALGOL家族的一份子。它基於尼克勞斯·維爾特與東尼·霍爾在IFIP Working Group 2.1提出的ALGOL X草案而設計,希望能作為ALGOL 60的後繼者。經過小幅度的修改,在史丹福大學,尼克勞斯·維爾特利用IBM/360機器,實作出第一版的ALGOL W。 它的編譯器是用尼克勞斯·維爾特所設計的PL360組語所寫成。 Category:程序设计语言 Category:ALGOL程式語言家族.

新!!: ALGOL和ALGOL W · 查看更多 »

尼克劳斯·维尔特

尼克劳斯·埃米尔·维尔特(Niklaus Emil Wirth,),生於瑞士溫特圖爾,是瑞士計算機科學家。 從1963年到1967年,他成為斯坦福大学的計算機科學部助理教授,之後又在苏黎世大学擔當相同的職位。1968年,他成為苏黎世联邦理工学院的信息学教授,又往施乐帕洛阿尔托研究中心進修了兩年。 他是好幾种編程語言的主設計師:.

新!!: ALGOL和尼克劳斯·维尔特 · 查看更多 »

巴科斯范式

巴科斯范式(Backus Normal Form,縮寫為 BNF),又称为巴科斯-诺尔范式(Backus-Naur Form,縮寫同樣為 BNF,也譯为巴科斯-瑙尔范式、巴克斯-诺尔范式),是一种用于表示上下文无关文法的语言,上下文无关文法描述了一类形式语言。它是由约翰·巴科斯(John Backus)和彼得·诺尔(Peter Naur)首先引入的用来描述计算机语言语法的符号集。 尽管巴科斯范式也能表示一部分自然语言的语法,它还是更广泛地使用于程序设计语言、指令集、通信协议的语法表示中。大多数程序设计语言或者形式语义方面的教科书都采用巴科斯范式。在各种文献中还存在巴科斯范式的一些变体,如扩展巴科斯范式 EBNF 或扩充巴科斯范式 ABNF。.

新!!: ALGOL和巴科斯范式 · 查看更多 »

巴黎

巴黎(Paris)是法國的首都及最大都市,同時是法蘭西島大區首府,為法國的政治與文化中心,隸屬法蘭西島大區之下的巴黎省(編號第75省;僅轄有1個同名市鎮)。目前的巴黎市轄區範圍大致為舊巴黎城牆內(環城大道內側),依照發展歷史共分成20個區,自從1860年代開始就沒有重大變化。截至2011年為止,巴黎市内人口超過225萬,的人口則逾1,229萬,是歐洲最大的都會區之一。 巴黎在近1,000年的時間内是西方最大的城市,也曾經是世界上最大的城市(16世紀至19世紀期间)。目前是世界上最重要的政治和文化中心之一,在教育、娛樂、時尚、科學、媒體、藝術、金融、政治等方面皆有重大影響力,被認為是世界上最重要的国际大都会之一.

新!!: ALGOL和巴黎 · 查看更多 »

形式语言

在数学、逻辑和计算机科学中,形式语言(Formal language)是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样,形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论,它只研究语言的语法而不致力于它的语义。在形式语言理论中,形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。.

新!!: ALGOL和形式语言 · 查看更多 »

形式文法

在计算机科学中,形式语言是:某个字母表上,一些有限长字串的集合,而形式文法是描述这个集合的一种方法。形式文法之所以这样命名,是因为它与人类自然语言中的文法相似的缘故。 形式文法描述形式语言的基本想法是,从一个特殊的初始符号出发,不断的应用一些产生式规则,从而生成出一个字串的集合。产生式规则指定了某些符号组合如何被另外一些符号组合替换。举例来说,假设字母表只包含'a'和'b'两个字符,初始符号是'S',我们应用下述规则: 于是我们可以通过把"S"重写为"aSb"(规则1),我们还可以继续应用这条规则把"aSb"重写为"aaSbb"。这个重写的过程不断重复,直到结果中只包含字母表中的字母为止。在例子中,我们可以得到S -> aSb -> aaSbb -> aababb这样的结果。由文法刻画的语言,包含了所有可以这样产生的字串,比如ba, abab, aababb, aaababbb等等。.

新!!: ALGOL和形式文法 · 查看更多 »

作用域

在電腦程式設計中,作用域(scope,或譯作有效範圍)是名字(name)与实体(entity)的绑定(binding)保持有效的那部分计算机程序。不同的编程语言可能有不同的作用域和名字解析。而同一语言内也可能存在多种作用域,随实体的类型变化而不同。作用域类别影響變量的绑定方式,根據語言使用靜態作用域還是動態作用域变量的取值可能会有不同的結果。.

新!!: ALGOL和作用域 · 查看更多 »

图灵奖

图灵奖(ACM A.M. Turing Award),又譯杜林獎、A.M.图灵奖,是计算机协会(ACM)于1966年设立的獎項,专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼徹斯特大学教授艾伦·图灵(A.M. Turing),这个奖设立目的之一是纪念这位現代计算机科學的奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。 图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。2014年11月13日,虽然英特尔退出赞助,Google反而将奖金提高到1,000,000美元,和诺贝尔奖奖金相近。 每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。.

新!!: ALGOL和图灵奖 · 查看更多 »

BCPL

BCPL(Basic Combined Programming Language),是一種電腦程式設計語言,源自更早的CPL語言,1966年由劍橋大學的馬丁·理察德(Martin Richards)所發展出來的。 Richards試著移除了CPL中最複雜的組成,第一支BCPL compiler在IBM 7094電腦中完成。 身為早期程式語言的BCPL,如今已不再廣泛使用,但它的影響卻是深遠的,今日流行的C語言即是參考BCPL所設計。BCPL是第一支使用括弧語言,括弧特徵在C語言中隨處可見,例如.

新!!: ALGOL和BCPL · 查看更多 »

B語言

B語言是一种通用的程序设计语言。自從被C語言取代之後,它幾乎已遭棄置。B語言大約是於1969年時由美國貝爾實驗室的電腦科學家──肯·湯普森在丹尼斯·利奇的支持下設計出來的。肯·湯普森最初想在UNIX上開發一個Fortran編譯器,但後來引進了BCPL的風格,形成一個新的語言。 後來,丹尼斯·利奇以B語言為基礎開發出C語言,至此C語言漸漸發展成為目前世界上最常用的程式語言之一。.

新!!: ALGOL和B語言 · 查看更多 »

C语言

C是一种通用的程式語言,广泛用于系统软件与应用软件的开发。于1969年至1973年間,為了移植與開發UNIX作業系統,由丹尼斯·里奇與肯·汤普逊,以B语言为基础,在贝尔实验室設計、开发出來。 C语言具有高效、灵活、功能丰富、表达力强和較高的可移植性等特点,在程式設計中备受青睐,成为最近25年使用最为广泛的编程语言。目前,C语言編譯器普遍存在於各種不同的操作系统中,例如Microsoft Windows、macOS、Linux、Unix等。C語言的設計影響了众多後來的程式語言,例如C++、Objective-C、Java、C#等。 二十世纪八十年代,為了避免各開發廠商用的C語言語法產生差異,由美國國家標準局為C語言訂定了一套完整的國際標準語法,稱為ANSI C,作為C語言的標準。二十世纪八十年代至今的有关程式開發工具,一般都支持符合ANSI C的語法。.

新!!: ALGOL和C语言 · 查看更多 »

COBOL

COBOL(),其名稱來自於通用商業語言(Common Business Oriented Language,又譯為面向常規業務型語言/常規商業信息處理語言)的縮寫,是最早的高階程式語言、以及是世界上最早實施標準化的計算機語言之一。屬於編譯語言。.

新!!: ALGOL和COBOL · 查看更多 »

算法

-- 算法(algorithm),在數學(算學)和電腦科學之中,為任何良定义的具體計算步驟的一个序列,常用於計算、和自動推理。精確而言,算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算,當其時能從一個初始狀態和初始輸入(可能爲空)開始,經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法,包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题,並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數,阿隆佐·邱奇於1936年提出的λ演算,1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前,依然常有直覺想法難以定義爲形式化算法的情況。.

新!!: ALGOL和算法 · 查看更多 »

約翰·巴科斯

約翰·華納·巴科斯(John Warner Backus,),美國計算機科學家,是早期高階語言(High-level Language)FORTRAN的發明小組組長。他提出了BNF(用來定義形式語言語法的記號法),發明了概念及實踐該概念的。為1977年圖靈獎得主。.

新!!: ALGOL和約翰·巴科斯 · 查看更多 »

縮寫

縮寫(abbreviation),在语言学裡嚴格地说是一種詞語的簡易格式,又称缩略语或簡稱。但實際上,它是從詞中提取關鍵字來簡要地代表原來的意思。例如,「欧洲联盟」被省略作為「欧盟」。.

新!!: ALGOL和縮寫 · 查看更多 »

约翰·麦卡锡

约翰·麦卡锡(John McCarthy,),生于美国马萨诸塞州波士顿,计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上,正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。.

新!!: ALGOL和约翰·麦卡锡 · 查看更多 »

计算机协会

计算机协会(Association for Computing Machinery,简称ACM)是一个世界性的计算机从业员专业组织,创立于1947年,是世界上第一个科学性及教育性计算机学会,亦是現時全球最大的電腦相關學會。ACM每年都出版大量電腦科学的专门期刊,并就每项专业设有兴趣小组。兴趣小组每年亦会在全世界(但主要在美国)举办世界性讲座及会谈,以供各会员分享他们的研究成果。近年ACM积极开拓网上学习的渠道,以供会员在工作之余或家中提升自己的专业技能。截止20世纪末,ACM在全球拥有75,000个以上的成员,包括遍及学术界、工业、研究和政府领域的学生和计算机专业人员。成员的最高荣誉是会士(Fellow)。 ACM通过它的35个特别兴趣组(Special Interest Group,SIG)提供特殊的技术信息和服务。这些特别兴趣组集中于计算机学科的多种专业,如计算机系统结构专业组(computer architecture,SIGARCH)和计算机图形与互动技术专业组(computer graphics and interactive techniques,SIGGRAPH)。这些特别兴趣组中有不少是跨学科的,适合计算机行业以外的人员。例如有不少艺术家参与到图形互动小组中。 ACM通过支持全球700个以上的专业和学生组织,为当地和地区团体提供服务。其中约有20%不在美国境内。这些组织为专业人士提供服务,搜集信息,准备讲座,组织研讨会和竞赛。 ACM主要成员刊物是Communications of the ACM,刊有一些广泛兴趣的文章,并对每月不同的热点问题展开讨论。ACM也出版了不少获得业内认可的期刊,这些期刊覆盖了计算机领域相当广泛的领域。 ACM主办了8个主要奖项,来表彰计算机领域的技术和专业成就。最高奖项为图灵奖(Turing Award),常被形容为计算机领域的诺贝尔奖。.

新!!: ALGOL和计算机协会 · 查看更多 »

艾伦·佩利

艾倫·傑·佩利(Alan Jay Perlis,),生于美国宾夕法尼亚州匹兹堡,是美国计算机程序设计领域的科学家,首届图灵奖的获得者。.

新!!: ALGOL和艾伦·佩利 · 查看更多 »

递归

递归(Recursion),又译为--,在数学与计算机科学中,是指在函数的定义中使用函数自身的方法。递归一词还较常用于描述以自相似方法重复事物的过程。例如,当两面镜子相互之间近似平行时,镜中嵌套的图像是以无限递归的形式出现的。也可以理解为自我复制的过程。.

新!!: ALGOL和递归 · 查看更多 »

Fortran

福傳(Fortran),源自於「公式翻译」(Formula Translation)的縮寫,是一種程式語言。1957年由IBM開發出,是世界上第一个被正式采用並流传至今的高级编程語言。.

新!!: ALGOL和Fortran · 查看更多 »

LISP

LISP是具有悠久歷史的計算機編程語言家族,有獨特和完全括號的前綴符號表示法。起源於西元1958年,是現今第二悠久而仍廣泛使用的高階編程語言。只有FORTRAN編程語言比它更早一年。LISP編程語族已經演變出許多種方言。現代最著名的通用編程語種是Common Lisp和Scheme。 LISP最初創建時受到阿隆佐·邱奇的lambda演算的影響,用來作為計算機程序實用的數學表達。因為是早期的高階編程語言之一,它很快成為人工智能研究中最受歡迎的編程語言。在計算機科學領域,LISP開創了許多先驅概念,包括:.

新!!: ALGOL和LISP · 查看更多 »

Pascal (程式語言)

Pascal是一个有影响的面向对象和面向过程编程语言,由尼克劳斯·维尔特在1968年9月设计,在1970年发行,作为一个小型的和高效的语言,意图鼓励使用结构化编程和数据结构进行良好的编程实践。 称作Object Pascal的一个衍生是为面向对象编程设计的。.

新!!: ALGOL和Pascal (程式語言) · 查看更多 »

Pascal (programming language)

#重定向 Pascal (程式語言).

新!!: ALGOL和Pascal (programming language) · 查看更多 »

PL/I

PL/I(),源自第一編程語言(Programming Language One的縮寫),一種程序式、指令式程式語言。由IBM公司在1950年代发明的第三代高级编程语言,用于IBM的MVS、或迪吉多的VAX/VMS等操作系统中。 在系统软件,图像,仿真,文字处理,网络,商业软件等领域均可应用。 有些类似PASCAL语言。.

新!!: ALGOL和PL/I · 查看更多 »

PL360

PL360,一種程式語言,由尼克勞斯·維爾特設計,運作在IBM System/360平台上。類似於組合語言,它提供了能夠指定特定的機器語言指令與暫存器的功能,但是它也具備了高階語言的某些特性,例如複雜的算術表達式與控制流程。尼克勞斯·維爾特設計出PL360的主要目的,是用來實作ALGOL W。.

新!!: ALGOL和PL360 · 查看更多 »

Scheme

Scheme是一种函数式编程语言,是Lisp的两种主要方言之一(另一种为Common Lisp)。不同于Common Lisp,Scheme遵循極簡主義哲学,以一个小型语言核心作为标准,加上各种强力语言工具(语法糖)来扩展语言本身。 麻省理工學院與其他院校曾采用Scheme教授计算机科学入門課程。著名的入門教材《-zh-hans:计算机程序的构造和解释;zh-hant:電腦程式的構造和解釋-》(SICP)利用Scheme來解釋程序設計 。Scheme的廣泛受眾被視為一個主要優勢,然而不同實現之間的差異成為了它的一個劣勢。 Scheme最早由麻省理工學院的蓋伊·史提爾二世與傑拉德·傑伊·薩斯曼在1970年代發展出來,並由兩人發表的「λ論文集」推廣開來。 Scheme語言與λ演算關係十分密切。小寫字母「λ」是Scheme語言的標誌。 Scheme的哲学是:设计计算机语言不应该进行功能的堆砌,而应该尽可能减少弱点和限制,使剩下的功能显得必要。Scheme是第一個使用靜態作用域的Lisp方言,也是第一个引入“干净宏”和第一类续延的编程语言。.

新!!: ALGOL和Scheme · 查看更多 »

Simula

Simula,一種編譯式的程式語言,在1960年代在奧斯陸的挪威電子計算中心(Norwegian Computing Center)開始被發展出來,主要的設計者是奧利-約翰·達爾(Ole-Johan Dahl)與克利斯登·奈加特。被開發了Simula I與Simula 67兩代。它承繼了ALGOL 60的基礎,被認為是第一個物件導向程式設計的程式語言。 Simula影響了Smalltalk以及接下來所有的物件導向程式設計程式語言,如比雅尼·斯特劳斯特鲁普在設計C++語言時,將許多Simula 67的特性引入C++之中。.

新!!: ALGOL和Simula · 查看更多 »

東尼·霍爾

查爾斯·安東尼·理查德·霍爾爵士(Sir Charles Antony Richard Hoare,縮寫為C.

新!!: ALGOL和東尼·霍爾 · 查看更多 »

指令式編程

指令式編程(Imperative programming),是一種描述電腦所需作出的行為的編程典範。幾乎所有電腦的硬體工作都是指令式的;幾乎所有電腦的硬體都是設計來執行機器碼,使用指令式的風格來寫的。較高階的指令式編程語言使用變數和更複雜的語句,但仍依從相同的典範。菜譜和行動清單,雖非電腦程式,但與指令式編程有相似的風格:每步都是指令,有形的世界控制情況。因為指令式編程的基礎觀念,不但概念上比較熟悉,而且較容易具體表現於硬體,所以大部分的編程語言都是指令式的。 大部分的高级语言都支援四種基本的語句:.

新!!: ALGOL和指令式編程 · 查看更多 »

重定向到这里:

Algol60类Algol

传出传入
嘿!我们在Facebook上吧! »