Theory of Machines and Computations

Proceedings of an International Symposium on the Theory of Machines and Computations Held at Technion in Haifa, Israel, on August 16–19, 1971

Zvi Kohavi, Azaria Paz

• Publisher: Academic Press
• Year: 2014
• ISBN:
  9781483270302
• Topic: Technology & Engineering
• Subtopic: Engineering General
• Index: Technology & Engineering

Theory of Machines and Computations consists of papers presented at the International Symposium on the Theory of Machines and Computations, held at Technion-Israel Institute of Technology in Haifa, Israel, in August 1971. This book is organized into five main sections—computability theory, formal and stochastic languages, finite automata, fault-detection experiments, and switching theory. In these sections, this compilation specifically discusses the computationally complex and pseudo-random zero-one valued functions and rate of convergence of local iterative schemes. The simple syntactic operators on full semiAFLs, whirl decomposition of stochastic systems, and existence of a periodic analogue of a finite automaton are also elaborated. This text likewise covers the theorems on additive automata, fault location in iterative logic arrays, and tree-threshold-synthesis of ternary functions. This publication is useful to practitioners and specialists interested in the theory of machines and computations.

Table of contents

• Front Cover
• Theory of Machines and Computations
• Copyright Page
• Table of Contents
• CONTRIBUTORS
• PREFACE
• SECTION I: COMPUTABILITY THEORY
• SECTION II: FORMAL AND STOCHASTIC LANGUAGES
• SECTION III: FINITE AUTOMATA
• SECTION IV: FAULT-DETECTION EXPERIMENTS
• SECTION V: SWITCHING THEORY
• AUTHOR INDEX