User:Hengxin0912/Study of automata theory

本文是关于automata theory的学习笔记

 * 下面是关于omega-automa理论的参考资料

[http://en.wikipedia.org/wiki/%CE%A9-automaton wiki 词条omega-automaton. 对该理论的概述. ]

[http://en.wikipedia.org/wiki/B%C3%BCchi_automaton wiki词条 Buchi-automaton. 它是omega-automata的一种，需要详细了解. ]
 * Bulleted list item


 * Bulleted list item


 * Bulleted list item