無限遷移系の正規性かぁー
アマゾンのレコメンドはいい線いってるなー。
- Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
- Gabriele Puppis