登录免费注册

首页  思维导图  详情



 



0416 |编程语言通识

0416 |编程语言通识

2020-04-21 22:23:26   0  举报





仅支持查看

AI智能生成

编程语言通识

思维导图-JavaScript

模板推荐

作者其他创作

大纲/内容

语言按语法分类

非形式语言

中文

英文

形式语言--乔姆斯基谱系

0型--无限制文法

?:==?

1型-上下问相关文法

<font color="#0076b3">?</font><A><font color="#f15a23">?</font>:==<font color="#0076b3">?</font><B> <font color="#f15a23">?</font>

2型--上下文无关文法

<A>::=?

3型--正则文法

<A>:==<A>?

<A::=?<A> <font color="#c41230">×</font>

BNF--产生式

用尖括号括起来的名称，用来表示语法结构名

语法结构

基础结构--终结符

符合结构--非终结符

引号和中间的字符表示终结符

可以有括号

 * 表示重复多次

| 表示或

+ 表示至少一次

四则运算

1+2*3

终结符

Number

+,-,*,/

非终结符

MultiplicativeExpression

AddtiveExpression

语言的分类

形式语言--用途

数据描述语言

编程语言

形式语言--表达方式

声明式语言

命令型语言

图灵完备性

命令式--图灵机

goto

if、while

声明式--lambda

递归

动态与静态

动态

在用户的设备或在线服务器上

产品实际运行时

Runtime--运行时

静态

在程序员的设备上

产品开发时

Compiletime--编译时

类型系统

动态类型系统与静态类型系统

强类型与弱类型

String +Number

String  ==Boolean

复合类型

结构体

函数签名

子类型

逆变/协变

一般的命令式编程语言

Atom

Identifier

Literal

Expression

Atom

Operator

Punctuator

Statement

Expression

Keyword

Punctuator

Structure

Function

Class

Process

Namespace

Program

Program

Module

Package

Libray

 Collect

Get Started

自制编程语言

 Collect

Get Started

一户通

 Collect

Get Started

学科通识

 Collect

Get Started

语言模型2













评论

0 条评论

下一页



图形选择

思维导图

主题

补充说明

AI生成





修改AI描述

去编辑

重新生成

提示 

关闭后当前内容将不会保存，是否继续？

取消

确定

Document