欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Formal language
来自开放百科 - 灰狐
（版本间的差异）
小 (→相关) |
小 (→简介) |
||
| （未显示1个用户的6个中间版本） | |||
| 第5行： | 第5行： | ||
==简介== | ==简介== | ||
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 | 在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 | ||
| + | |||
| + | 元语言（metalanguage）是对形式语言和形式理论进行探讨、交流时所使用的工作语言。 | ||
| + | |||
| + | 形式语义学（formal semantics）是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。 | ||
| + | |||
| + | [https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_form 扩展巴科斯-瑙尔范式（EBNF, Extended Backus–Naur Form）] 是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法（metalanguage）符号表示法，它是基本巴科斯范式（BNF）元语法符号表示法的一种扩展。 | ||
==定义== | ==定义== | ||
| 第21行： | 第27行： | ||
*[[Formal mathematics|形式化数学]] | *[[Formal mathematics|形式化数学]] | ||
*[[Formal verification|形式化验证]] | *[[Formal verification|形式化验证]] | ||
| + | *[https://en.wikipedia.org/wiki/Semantics_(computer_science) 形式语义学] | ||
*形式文法 | *形式文法 | ||
*形式方法 | *形式方法 | ||
| 第30行： | 第37行： | ||
==项目== | ==项目== | ||
| + | *[[ANTLR]] | ||
==文档== | ==文档== | ||
| + | *[https://galois.com/wp-content/uploads/2017/10/galois-formal-methods-reinforcement-learning.pdf Applying Formal Methods to Reinforcement Learning] | ||
==书籍== | ==书籍== | ||
| − | 《形式语言与自动机导论》原书第3版，主要介绍形式语言、自动机、可计算性和相关内容。 | + | *《形式语言与自动机导论》原书第3版，主要介绍形式语言、自动机、可计算性和相关内容。 |
主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。 | 主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。 | ||
| + | *《计算系统的形式语义（上、下）》清华大学出版社，陆汝钤 | ||
| + | *《程序设计语言的形式语义》 The Formal Semantics of Programming Languages, Glynn Winskel | ||
| + | 本书涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。 | ||
==图集== | ==图集== | ||
2022年11月30日 (三) 14:59的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Formal language Thanks, Wikipedia. |
Formal language 形式语言
目录 |
[编辑] 简介
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。
元语言（metalanguage）是对形式语言和形式理论进行探讨、交流时所使用的工作语言。
形式语义学（formal semantics）是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。
扩展巴科斯-瑙尔范式（EBNF, Extended Backus–Naur Form） 是表达作为描述计算机编程语言和形式语言的正规方式的上下文无关文法的元语法（metalanguage）符号表示法，它是基本巴科斯范式（BNF）元语法符号表示法的一种扩展。
[编辑] 定义
[编辑] 运算
语言家族的闭包（closure）特性
Regular（正则语言）DCFL（确定性上下文无关语言）CFL（上下文无关语言）IND（附标语言）CSL（上下文相关语言）recursive（递归语言）RE（递归可枚举语言）
[编辑] 表示
[编辑] 相关
[编辑] 项目
[编辑] 文档
[编辑] 书籍
- 《形式语言与自动机导论》原书第3版，主要介绍形式语言、自动机、可计算性和相关内容。
主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。
- 《计算系统的形式语义（上、下）》清华大学出版社，陆汝钤
- 《程序设计语言的形式语义》 The Formal Semantics of Programming Languages, Glynn Winskel
本书涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。
[编辑] 图集
[编辑] 链接
分享您的观点
