Theory of Digital Automata

Transcription

1 Theory of Digital Automata

2 International Series on INTELLIGENT SYSTEMS, CONTROL AND AUTOMATION: SCIENCE AND ENGINEERING VOLUME 63 Editor Professor S. G. Tzafestas, National Technical University of Athens, Greece Editorial Advisory Board Professor P. Antsaklis, University of Notre Dame, Notre Dame, IN, USA Professor P. Borne, Ecole Centrale de Lille, Lille, France Professor D.G. Caldwell, University of Salford, Salford, UK Professor C.S. Chen, University of Akron, Akron, Ohio, USA Professor T. Fukuda, Nagoya University, Nagoya, Japan Professor S. Monaco, University La Sapienza, Rome, Italy Professor G. Schmidt, Technical University of Munich, Munich, Germany Professor S.G. Tzafestas,National TechnicalUniversity of Athens, Athens, Greece Professor F. Harashima, University of Tokyo, Tokyo, Japan Professor N.K. Sinha, McMaster University, Hamilton, Ontario, Canada Professor D. Tabak, George Mason University, Fairfax, Virginia, USA Professor K. Valavanis, University of Denver, Denver, USA For further volumes:

3 Bohdan Borowik Mykola Karpinskyy Valery Lahno Oleksandr Petrov Theory of Digital Automata

4 Bohdan Borowik Department of Electrical Engineering University of Bielsko-Biala Bielsko-Biala, Poland Valery Lahno Department of Computer Systems and Networks East-Ukrainian National University Luhansk, Ukraine Mykola Karpinskyy Computer Science Division University of Bielsko-Biala Bielsko-Biala, Poland Oleksandr Petrov Department of Applied Computer Science AGH University of Science and Technology Krakow, Poland Reviewer Barbara Borowik Cracow University of Technology/ Faculty of Physics Mathematics and Computer Science Cracow, Poland ISBN ISBN (ebook) DOI / Springer Dordrecht Heidelberg New York London Library of Congress Control Number: Springer Science+Business Media Dordrecht 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, speci fi cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on micro fi lms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied speci fi cally for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a speci fi c statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Printed on acid-free paper Springer is part of Springer Science+Business Media (

5 Preface Communication systems for most companies throughout the world have already gone digital or will certainly do so in the near future. For example, cell phones and other types of wireless communication such as television, radio, process controls, automotive electronics, consumer electronics, global navigation and military systems, to name only a few applications, depend heavily on digital electronics. This book is designed to serve as a fi rst course in digital automata and digital systems, providing students at the sophomore level a transition from the world of physics to the world of digital electronics and computation. The book attempts to satisfy two goals: Combine the study of circuits and digital electronics into a single, uni fi ed treatment, and establish a strong connection with the contemporary worlds of both these types of digital systems. These goals arise from the observation that the conventional approach to introducing digital electronics through a course in traditional circuit analysis is fast becoming obsolete. Our world has gone digital. Even those students who remain in core electrical engineering are heavily in fl uenced by the digital domain. Because of this elevated focus on the digital domain, basic electrical engineering education must change in two ways: First, the traditional approach to teaching circuits and electronics without regard to the digital domain must be replaced by one that stresses the foundations that are common to all circuits in both the digital and analog domains. Because most of the fundamental concepts in circuits and electronics are equally applicable to both the digital and the analog domains, this means that, primarily, we must change the way in which we motivate the study of circuits and electronics to emphasize their broader impact on digital systems. Second, given the additional demands of computer engineering, many departments can ill-afford the luxury of separate courses on circuits and on electronics. Rather, they might be combined into one course. The book attempts to form a bridge between the world of logic and the world of large digital systems. v

6

7 Contents 1 Digital and Analog Quantities Analog and Digital Quantities Post turing Machine Number Systems, Operations, and Codes Number Systems The Decimal System The Binary System Hexadecimal Notation Binary-Coded Decimal Code Converting Between Number Systems Converting Between Binary and Decimal (Between Decimal and Binary) Integers Fractions Integers Fractions Binary to BCD Conversion Binary Arithmetic Binary Addition Binary Subtraction Binary Multiplication Binary Division BCD Addition Arithmetic Operations with Signed Numbers s and 2s Complements Forms s Complement s Complement Additional in the 1s Complement System Additional in the 2s Complement System vii

8 viii Contents 3.7 BCD Subtraction BCD Multiplication and Division Floating-Point Numbers Floating-Point Arithmetic Error Correction in Digital Systems Parity Method for Error Detection Cyclic Redundancy Check (CRC) Reed-Solomon Block Hamming Code Boolean Algebra Laws of Boolean Algebra Disjunctive Normal Form Basic Logical Functions and Gates. Logic Design Basic Logical Functions and Gates The NOT Gate, or Inverter The AND Gate The OR Gate The NAND Gate The NOR Gate The Exclusive-OR, or XOR Gate Universal Gates Realization of Logic Function Using NOR Gates Combinational Logic Circuits Full Adder Seven-Segment Display Design Combinational Logic Circuits Evaluating Logic Circuit Outputs Minimizing Boolean Functions Background and Terminology Karnaugh Maps On Quine-Mccluskey Method Latches, Flip-Flops, Counters, Registers, Timer, Multiplexer, Decoder, Etc Latches The Basic RS NAND Latch The Basic RS NOR Latch The Clocked RS NAND Latch Edge-Triggered Flip-Flops Flip-Flop Symbols Asynchronous Preset and Clear Inputs

9 Contents ix 8.3 Counters A Basic Digital Counter Synchronous Counter Decimal and Shorter Counts BCD Counter The Johnson Counter Registers Serial-to-Parallel Shift Register Parallel-to-Serial Shift Register Using a Shift Register for Control Timer Multiplexer and Demultiplexer The Multiplexer The Demultiplexer Digital Encoder and Decoder The Digital Encoder Decoder Digital Comparator Machines Moore and Mealy Synthesis of Moore Automata from Graph-Scheme The First Version The Second Version Machine, Implemented in Flip-Flops with Multiplex Controls Appendices Appendix A: Counter Modulo Appendix B: Full Adder Circuit Appendix C Appendix D: Logic Symbols, Truth Tables Glossary References Subject Index

10

11 Introduction Early arti fi cial intelligence theory was concerned with models (automata) used to simulate objects and processes. Automata theory helps with the design of digital circuits such as parts of computers, telephone systems or control systems. The major advantages for Digital and Microprocessor systems are [1 5]: Stability and accuracy of control; Flexibility; Lower cost per function; Greater reliability and equipment life; Human factors favouring a Digital Interface. The most general and versatile circuit that can be placed on a single Chip is the Digital Microprocessor. The Microprocessor is versatile because it can be programmed to perform an almost unlimited number of computing tasks. Application and Advantages of Digital Systems The device used in a Digital Circuit generally operates in one of the two states, known as ON & OFF, resulting in a very simple operation. There are only a few basic operations in a Digital Circuit and they are very easy to understand. Digital Technique requires Boolean algebra which is very simple and easily to learn. Digital Circuit study requires the basic concept of Electrical Network Analysis, which is also easily learned. A large number of Integrated Circuits (IC) are available for performing various operations. They are highly reliable and accurate, with a very high speed of operations. xi

12 xii Introduction Digital Circuits have a wide range of memory capability which makes them highly suitable for Computers, Calculators, and Electronic Watches etc. The display of data and other information is very convenient, accurate and elegant using digital techniques. Many students have, in a wide range of studies, opportunities to learn programming of digital computers, hence they have a strong motivation to study the way digital hardware works.