- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. In the 1960s, there was the work of Btichi on automata on infinite strings and the second order theory of one successor, then Rabin's 1968 result on automata on infinite trees and the second order theory of two successors.