Formal language

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（递归可枚举语言）

主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。

本书涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。

@@ 第5行： / 第5行： @@
 ==简介==
 在数学、逻辑和计算机科学中，形式语言（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 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]
 ==书籍==