MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Machines, languages, and computation / Peter J. Denning, Jack B. Dennis and Joseph E. Qualitz.

By: Denning, Peter J, 1942- [author].
Contributor(s): Dennis, Jack B. (Jack Bonnell) [author] | Qualitz, Joseph E, 1948- [author].
Material type: materialTypeLabelBookPublisher: Englewood Cliffs, New Jersey ; Prentice Hall, [1978]Copyright date: ©1978Description: xxii, 601 pages : illustrations ; 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 0135422582 (hardback).Subject(s): Machine theory | Formal languagesDDC classification: 518
Contents:
Introduction -- Logic, set theory and languages -- Formal grammars -- Finite-state machines -- Finite-state languages -- Limitations of finite automata -- Tape automata -- Pushdown automata -- Context-free languages -- Syntax analysis -- Turning machines -- Unsolvable problems -- Recursive functions -- Post systems.
Holdings
Item type Current library Call number Copy number Status Barcode
General lending MTU Bishopstown Library Lending 518 (Browse shelf(Opens below)) 1 Available 00027637
General lending MTU Bishopstown Library Lending 518 (Browse shelf(Opens below)) 1 Available 00046497
Total holds: 0

Bibliography: (pages 584-592) and indexes.

Introduction -- Logic, set theory and languages -- Formal grammars -- Finite-state machines -- Finite-state languages -- Limitations of finite automata -- Tape automata -- Pushdown automata -- Context-free languages -- Syntax analysis -- Turning machines -- Unsolvable problems -- Recursive functions -- Post systems.