A Relational Theory of Computing
Publisher: Springer | ISBN: 3540099875 | edition 1980 | PDF | 147 pages | 4 mb
Publisher: Springer | ISBN: 3540099875 | edition 1980 | PDF | 147 pages | 4 mb
The idea underlying this book is that a -comprehensive theory of computing may be developed based on the mathematics of relations. At present, research in each area of the theory of computation is pursued using whatever mathematical equipment appears most appropriate. While this may be the optimal strategy for one area taken in isolation, it is less than optimal for the field as a whole. Communication and cross-fertilization between different areas are inhibited, and it is harder to get a unified, synthetic grasp of the subject as a whole as long as its practitioners do not talk the same language.