Regular Algebra and Finite Machines (eBook)

John Horton Conway (Autor)

eBook Download: EPUB

2012
160 Seiten
Dover Publications (Verlag)
978-0-486-31058-9 (ISBN)

Infos

A world-famous mathematician explores Moore's theory of experiments, Kleene's theory of regular events and expressions, differential calculus of events, the factor matrix, theory of operators, much more. Solutions. 1971 edition.

---

World-famous mathematician John H. Conway based this classic text on a 1966 course he taught at Cambridge University. Geared toward graduate students of mathematics, it will also prove a valuable guide to researchers and professional mathematicians.His topics cover Moore's theory of experiments, Kleene's theory of regular events and expressions, Kleene algebras, the differential calculus of events, factors and the factor matrix, and the theory of operators. Additional subjects include event classes and operator classes, some regulator algebras, context-free languages, communicative regular algebra, axiomatic questions, the strength of classical axioms, and logical problems. Complete solutions to problems appear at the end.

Inhalt

PrefacePreliminaries to the Moore Theory1. Moore's Theory of Experiments2. Bombs and Detonators3. Kleene's Theory of RegularEvents and Expressions4. Kleene Algebra: the One-Variable Theorem5. The Differential Calculus of Events6. Factors and the Factor Matrix7. The Theory of Operators: Biregulators8. Event Classes and Operator Classes9. Some Regulator Algebra10. Context-Free Languages11. Commutative Regular Algebra12. Some Axiomatic Questions13. The Strength of the Classical Axioms14. Some Computational Techniques15. Some Logical ProblemsSolutions to ProblemsIndex

Produkt-Details

• Erscheint lt. Verlag: 16.9.2012
• Reihe/Serie: Dover Books on Mathematics
• Sprache: englisch
• Maße: 140 x 140 mm
• Themenwelt: Mathematik / Informatik ► Mathematik ► Algebra
• ISBN-10: 0-486-31058-2 / 0486310582
• ISBN-13: 978-0-486-31058-9 / 9780486310589