形式语言-Formal language

用精确的数学或机器可处理的公式定义的语言

文章链接 https://fangzongzhou.github.io/2021/01/30/数学/形式语言/