An introduction to automata theory

書誌事項

An introduction to automata theory

M.W. Shields

(Computer science texts / consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. Henson)

Blackwell Scientific, 1987

  • : pbk

大学図書館所蔵 件 / 23

この図書・雑誌をさがす

注記

Includes index

内容説明・目次

内容説明

This book is an introduction to the elementary structure theory of finite state machines. After preliminary definitions, the book discusses what it means for one machine to implement another, using the notation of a realization, and in particular, the notion of machine reduction. Reference is made to the fact that machines form a category, with realizations as morphisms. Next, the serial and parallel composition of machines are looked at and it is shown that these operations satisfy certain algebraic relations up to isomorphism. The Hartmanis-Yoeli parallel and serial decomposition theorems, which depend on congruence relations of the state space of a machine are then presented. Subsequent chapters investigate the computation of the set of all such congruences, making use of the fact that they form a lattice. Finally, the lattice of congruences are used to analyze machine decomposition.

目次

  • Great Aunt Eugenia and other automata
  • Sundry machines
  • Implementing finite automata
  • Implementation and realization
  • Behavioural equivalence, SP partitions and reduced machines
  • Parallel and serial composition of automata
  • The parallel decomposition theorem
  • The serial decomposition theorem
  • The lattice of SP partitions
  • Analysis of machines
  • Concurrent systems: net theory
  • Concurrent systems: the calculus of communicating systems. Appendix: Sets, relations and functions.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

  • Computer science texts

    consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. Henson

    Blackwell Scientific Publications

詳細情報

  • NII書誌ID(NCID)
    BA03907882
  • ISBN
    • 0632017562
    • 0632015543
  • LCCN
    87027740
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    London
  • ページ数/冊数
    x, 226 p.
  • 大きさ
    24 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ