TY - BOOK AU - Kohavi,Zvi AU - Paz,Azaria TI - Theory of machines and computations SN - 0124177506 AV - TJ .I51971 U1 - 629.8/91 PY - 1971/// CY - New York PB - Academic Press KW - Sequential machine theory KW - Congresses KW - Formal languages KW - Switching theory KW - Numerical calculations N1 - Includes bibliographical references ER -