请遵守AGPL 3.0协议 本主题已开源于hexo-theme-wang
Toggle Menu

课程

Date Icon
Update Icon

计算理论-上下文无关文法

上下文无关文法（CFG）是一种形式文法，其中每条产生式的左侧只有单个非终结符，右侧可以是终结符和非终结符的任意组合。它广泛应用于计算机科学中的编程语言解析和编译器设计。
#学习 #记录 #课程
Date Icon
Update Icon

计算理论-有限自动机(FA)

有限自动机是一种数学模型，用于表示和分析有限状态的计算过程。它包括确定性有限自动机（DFA）和非确定性有限自动机（NFA），广泛应用于语言识别和编译技术等领域。
#学习 #记录 #课程 #进步
Date Icon
Update Icon

计算理论-形式语言

计算机的各种程序设计语言、数理逻辑中的谓词演算语言等都属于形式语言。
#学习 #记录 #课程