L16 – Logic I: Languages and Automata本文主要介绍了形式语言与自动机的基础理论,涵盖字母表、字符串与形式语言的定义。内容涉及正则语言、确定性与非确定性有限自动机(DFA/NFA)及其等价性,以及正则文法和正则表达式。最后探讨了上下文无关文...Discrete Mathematics# 上下文无关文法# 形式语言# 正则表达式2026年5月6日3187