All posts by Xiejiadong

有穷自动机 DFA 确定型有穷自动机(DFA) 是一个五元组 \(A=(Q,\sum , \delta ,q_

概述 DB 是数据的集合，存储在磁盘中； DBMS 称作数据库管理系统，是一个基础软件，用来存储和管理数据库；

引论 在一个程序可以运行之前，它首先需要被翻译成一种能够被计算机执行的形式。完成这项翻译工作的软件系统称为编译

基础知识 集合 幂集 \(2^S=\text{power} (S)=\{x|x\subseteq S\}\)

整数 整数的一部分，最简单的数学模型——自然数。 Peano 自然数公理：如果有一些对象（可数集），除了它们的

前世今身 要说圆方树最早被提出，这个可能需要追溯到这篇论文的发布，论文是：《Maintaining bridg