MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02322cam a22003015i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
EG-CaNGU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240131120621.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
230516t2023 maua frb 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781284231601 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
DLC |
| Modifying agency |
OCLCF |
| -- |
UKMGB |
| -- |
YDX |
| -- |
DLC |
| -- |
CDN |
| -- |
EG-CaNGU |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.131 |
| Item number |
LII |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Linz, Peter, |
| Relator term |
author. |
| 9 (RLIN) |
5289 |
| 245 13 - TITLE STATEMENT |
|---|
| Title |
An introduction to formal languages and automata / |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
Seventh edition. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Burlington, Massachusetts : |
| Name of producer, publisher, distributor, manufacturer |
Jones & Bartlett Learning, World Headquarters, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[2023] |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
©2023 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiii, 584 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
23 cm |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Media type code |
n |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Carrier type code |
nc |
| Source |
rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references and index. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Part I: Theory -- Introduction to the theory of computation -- Finite automata -- Regular languages and regular grammars -- Properties of regular languages -- Context-free languages -- Simplification of context-free grammars and normal forms -- Pushdown automata -- Properties of context-free languages -- Turing machines -- Other models of turing machines -- A hierarchy of formal languages and automata -- Limits of algorithmic computation -- Other models of computation -- An overview of computational complexity -- Part II: Applications -- Compilers and parsing -- LL parsing -- LR parsing -- Appendix A: Finite-State Transducers -- Appendix B: JFLAP: Useful Tools -- Answers: Solutions and Hints for Selected Exercises -- References for Further Reading -- Index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book is designed for an introductory course on formal languages, automata, computability, and related matters. These topics form a major part of what is known as the theory of computation. A course on this subject matter is now standard in the computer science curriculum and is often taught fairly early in the program. Hence, the prospective audience for this book consists primarily of sophomores and juniors majoring in computer science or computer engineering.<br/> |
| Assigning source |
Provided by publisher. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Formal languages. |
| Source of heading or term |
NGU-sh |
| 9 (RLIN) |
5290 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Machine theory. |
| Source of heading or term |
NGU-sh |
| 9 (RLIN) |
5024 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rodger, Susan H., |
| Relator term |
author. |
| 9 (RLIN) |
5291 |