CmpE 585 Sequential Machine Theory

Instructor: Dr. Haluk Bingöl

ETA 109 x2121

bingol@boun.edu.tr

Assistant: -

Time/Room: WWW 123 / ETA Z109

First Meeting: 25.02.2004

Text Book: Switching and Finite Automata Theory, 2e

Kohavi

McGrawHill, 1978, [QA267.5 S4 K64]

Grading Midterm 25 %

Homework 15 %

Paper 25

Final 35 %

Course Outline

Logic Design courses cover the Engineering aspects of sequential machines. The theory behind Finite State Machines is usually left behind. This course gives an opportunity to see Discrete Math, Graph Theory in working.

Topics

· Review of discrete math

· Review of sequential machines

· Structure theory of sequential machines (ch12)

· State-identification, fault detection, … (ch13)

· Memory, definiteness (ch14)

· Information losslessness

· Linear sequential machines (ch15)

Prerequisites

Solid background on Discrete Mathematics, Theory of Computation.

References

Introduction to Discrete Structures

Preparata & Yeh

Addison-Wesley, 1973

Applied Abstruct Algebra

Lidl & Pils

Springer-Verlag, 1984, [QA162.L53]

System Theory

Zadeh & Polak

Addison-Wesley, 1969, [QA402 Z32]

Introduction to Switching and Automata Theory

Harrison

McGraw-Hill, 1965, [QA401 H33]

Algebraic Structure Theory of Sequential Machines

Hartmanis & Stearns

Prentice-Hall, 1966 [QA267.5 S4 H3]

Machines, Languages and Computation

Denning, Dennis & Qualits

Prentice-Hall, 1978, [QA267 D45]