Switching and Finite Automata Theory

Zvi Kohavi is Executive Vice President and Director General at Technion – Israel Institute of Technology. He is Professor Emeritus of the Computer Science Department at Technion, where he held the position of Sir Michael and Lady Sobell Chair in Computer Engineering and Electronics. He has previously served as the Managing Director of the Technion Research and Deveopment Foundation, and on the faculty of M.I.T. and the University of Utah. Niraj K. Jha is a Professor at Princeton University and a Fellow of the IEEE and ACM. He is currently serving as Editor-in-Chief of IEEE Transactions on VLSI Systems and Associate Editor of IEEE Transactions on Computer-Aided Design, IEEE Transactions on Circuits and Systems, and Journal of Low Power Electronics. He is a recipient of the AT&T Foundation Award and NEC Preceptorship Award for research excellence, the NCR Award for teaching excellence, and Princeton's Graduate Mentoring Award.

Preface; Part I. Preliminaries: 1. Number systems and codes; 2. Sets, relations, and lattices; Part II. Combinational Logic: 3. Switching algebra and its applications; 4. Minimisation of switching functions; 5. Logic design; 6. Multilevel logic synthesis; 7. Threshold logic for nanotechnologies; 8. Testing of combinational circuits; Part III. Finite State Machines: 9. Introduction to synchronous sequential circuits and iterative networks; 10. Capabilities, minimisation, and transformation of sequential machines; 11. Asynchronous sequential circuits; 12. Structure of sequential machines; 13. State-identification experiments and testing of sequential circuits; 14. Memory, definiteness, and information losslessness of finite automata; 15. Linear sequential machines; 16. Finite-state recognisers; Index.