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: |