Formal language

2022年10月27日 (四) 12:50的版本

您可以在Wikipedia上了解到此条目的英文信息 Formal language Thanks, Wikipedia.

Formal language 形式语言

简介

在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。

形式语义学（formal semantics）是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。

定义

运算

语言家族的闭包（closure）特性

Regular（正则语言）DCFL（确定性上下文无关语言）CFL（上下文无关语言）IND（附标语言）CSL（上下文相关语言）recursive（递归语言）RE（递归可枚举语言）

表示

相关

• 计算语言学
• 形式化数学
• 形式化验证
• 形式语义学
• 形式文法
• 形式方法
• 形式科学
• 形式系统
• 数学符号
• 编程语言
• 本体语言

项目

文档

书籍

• 《形式语言与自动机导论》原书第3版，主要介绍形式语言、自动机、可计算性和相关内容。

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

• 《计算系统的形式语义（上、下）》清华大学出版社，陆汝钤
• 《程序设计语言的形式语义》 The Formal Semantics of Programming Languages, Glynn Winskel

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

图集

链接