Formal language

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

Formal language 形式语言

简介

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

运算

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

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

相关

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

书籍

《形式语言与自动机导论》原书第3版，主要介绍形式语言、自动机、可计算性和相关内容。 主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。