semirings and formal series

介绍形式语言理论中用到的半环与形式级数等知识。

finite automata

从形式级数的角度介绍有限自动机和正规语言的基本知识。

a evolution of emergent computation

A simple evolutionary process can discover sophisticated methods for emergent information processing in decentralized spatially extended systems. The mechanisms underlying the resulting emergent computation are explicated by a technique for analyzing particle-based logic embedded in pattern-forming systems. Understanding how globally coordinated computation can emerge in evolution is relevant both for the scientific understanding of natural information processing and for engineering new forms of parallel computing systems.

review of formal languages and automata theory

we review material from a first course in the theory of computing.

一个简短的介绍编译原理核心技术的课件

一个简短的介绍编译原理核心技术的幻灯片课件，PDF格式。