Introduction to Formal Languages

Nonfiction, Science & Nature, Mathematics, Logic
Cover of the book Introduction to Formal Languages by György E. Révész, Dover Publications
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: György E. Révész ISBN: 9780486169378
Publisher: Dover Publications Publication: March 17, 2015
Imprint: Dover Publications Language: English
Author: György E. Révész
ISBN: 9780486169378
Publisher: Dover Publications
Publication: March 17, 2015
Imprint: Dover Publications
Language: English

This highly technical introduction to formal languages in computer science covers all areas of mainstream formal language theory, including such topics as operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Geared toward advanced undergraduates and graduate students, the treatment examines mathematical topics related to mathematical logic, set theory, and linguistics. All subjects are integral to the theory of computation.
Numerous worked examples appear throughout the book, and end-of-chapter exercises enable readers to apply theory and methods to real-life problems. Elegant mathematical proofs are provided for almost all theorems.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This highly technical introduction to formal languages in computer science covers all areas of mainstream formal language theory, including such topics as operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Geared toward advanced undergraduates and graduate students, the treatment examines mathematical topics related to mathematical logic, set theory, and linguistics. All subjects are integral to the theory of computation.
Numerous worked examples appear throughout the book, and end-of-chapter exercises enable readers to apply theory and methods to real-life problems. Elegant mathematical proofs are provided for almost all theorems.

More books from Dover Publications

Cover of the book Chinese Animal Designs by György E. Révész
Cover of the book Linear Algebra by György E. Révész
Cover of the book Classical Electromagnetism by György E. Révész
Cover of the book Practical Knots and Ropework by György E. Révész
Cover of the book Winterbound by György E. Révész
Cover of the book Space Mathematics by György E. Révész
Cover of the book Pleasures and Days and "Memory" / Les Plaisirs et les Jours et "Souvenir" Short Stories by Marcel Proust by György E. Révész
Cover of the book Designs and Patterns from Historic Ornament by György E. Révész
Cover of the book Hell's Cartographers by György E. Révész
Cover of the book Treasury of Fantastic and Mythological Creatures by György E. Révész
Cover of the book A Voice from the South by György E. Révész
Cover of the book Japanese Silk Designs in Full Color by György E. Révész
Cover of the book Topological Methods in Galois Representation Theory by György E. Révész
Cover of the book Complete Guide to Home Canning and Preserving (Second Revised Edition) by György E. Révész
Cover of the book Positional Chess Handbook by György E. Révész
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy