| Preface |
| Preliminaries to the Moore Theory |
| Moore's theory of experiments / 1： |
| Bombs and detonators / 2： |
| Kleene's theory of regular events and expressions / 3： |
| Kleene algebras: the one-variable theorem / 4： |
| The differential calculus of events / 5： |
| Factors and the factor matrix / 6： |
| The theory of operators: biregulators / 7： |
| Event classes and operator classes / 8： |
| Some regulator algebras / 9： |
| Context-free languages / 10： |
| Commutative regular algebra / 11： |
| Some axiomatic questions / 12： |
| The strength of the classical axioms / 13： |
| Some computational techniques / 14： |
| Some logical problems / 15： |
| Solutions to problems |
| Index |
| Preface |
| Preliminaries to the Moore Theory |
| Moore's theory of experiments / 1： |
図書
