Regular language and DFA

从自动机直观概念出发，引入自动机的抽象模型，自动机状态图，自动机的元组式形式定义，非确定性自动机与确定性自动机的等价性，用自动机定义正则语言，正则运算，以及正则语言在正则运算下的封闭性

3D structural analysis

只需要你准备好输入数据（三维坐标点），并保存成文本文件格式，本程序就能读取这些数据，并帮你分析内部的微观结构（如二十面体、FCC、HCP、BCC晶体结构单元、截边十面体单元等），并支持多种形式的整体或局部的结构分析，如截面分析、相结构分析、并以2D或3D的形式在屏幕输出。所有图形元素均可任意调节。如原子（每个数据点看成一个原子）的半径、颜色、编号，背景颜色，边框颜色和宽度，原子之间的连键的半径、颜色等等，所有的图形均可保存为图形文件，亦可输出相关数据到文本文件。