Formal languages and computation : models and their applications
tarafından
Meduna, Alexander, 1957- author.
Başlık
:
Formal languages and computation : models and their applications
Yazar
:
Meduna, Alexander, 1957- author.
ISBN
:
9780429098598
Basım Bilgisi
:
First edition.
Fiziksel Tanımlama
:
1 online resource (315 pages) : 60 illustrations
İçerik
:
chapter 1 Mathematical Background -- chapter 2 Formal Languages and Rewriting Systems -- chapter 3 Models for Regular Languages -- chapter 4 Applications of Regular Expressions and Finite Automata: Lexical Analysis -- chapter 5 Properties of Regular Languages -- chapter 6 Models for Context-Free Languages -- chapter 7 Applications of Models for Context-Free Languages: Syntax Analysis -- chapter 8 Properties of Context-Free Languages -- chapter 9 Turing Machines and Their Variants -- chapter 10 Applications of Turing Machines: Theory of Computation -- chapter 11 Turing Machines and General Grammars -- chapter 12 Concluding and Bibliographical Remarks.
Özet
:
Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computation, including computability, decidability, and computational complexity. Emphasizing the relationship between theory and application, the book describes many real-world applications, including computer science engineering techniques for language processing and their implementation.
Konu Terimleri
:
Formal languages.
Machine theory.
Programmiersprache.
Programmierung.
COMPUTERS / Programming Languages / General.
MATHEMATICS / General.
Tüzel Kişi Ek Girişi
:
Taylor and Francis.
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 545727-1001 | QA267.3 | | CRC E-Books |