欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Formal language
来自开放百科 - 灰狐
（版本间的差异）
(以“{{SeeWikipedia}} Formal language 形式语言 ==简介== 在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器...”为内容创建页面) |
小 (→运算) |
||
| 第9行： | 第9行： | ||
==运算== | ==运算== | ||
| + | 语言家族的闭包（closure）特性 | ||
| + | |||
| + | [[文件:closure-properties-of-language-families.png]] | ||
| + | |||
| + | Regular（正则语言）DCFL（确定性上下文无关语言）CFL（上下文无关语言）IND（附标语言）CSL（上下文相关语言）recursive（递归语言）RE（递归可枚举语言） | ||
==表示== | ==表示== | ||
2022年10月16日 (日) 14:36的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Formal language Thanks, Wikipedia. |
Formal language 形式语言
目录 |
简介
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。
定义
运算
语言家族的闭包（closure）特性
Regular（正则语言）DCFL（确定性上下文无关语言）CFL（上下文无关语言）IND（附标语言）CSL（上下文相关语言）recursive（递归语言）RE（递归可枚举语言）
表示
相关
项目
文档
书籍
《形式语言与自动机导论》原书第3版，主要介绍形式语言、自动机、可计算性和相关内容。 主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。
图集
链接
分享您的观点
