跳转至

计算理论 (Theory of computation)

Warning

该模块已使用 Typst 进行重写, 此处将不再更新.

ToC

自动机理论

主题
确定有限自动机
正则表达式
非确定有限自动机
NFA 转 DFA
正则表达式转 NFA
DFA 转正则表达式
非正则语言

可计算性理论

计算复杂性理论

评论