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 Transatlantic Flight by György E. Révész
Cover of the book Mathematics Old and New by György E. Révész
Cover of the book The Great Anarchists by György E. Révész
Cover of the book Les Miserables by György E. Révész
Cover of the book Hints on Household Taste by György E. Révész
Cover of the book Big Book of Silhouettes by György E. Révész
Cover of the book A History of Mathematical Notations by György E. Révész
Cover of the book Calculus of Variations by György E. Révész
Cover of the book Fads and Fallacies in the Name of Science by György E. Révész
Cover of the book Impossible Folding Puzzles and Other Mathematical Paradoxes by György E. Révész
Cover of the book Complex Variables by György E. Révész
Cover of the book The Confidence-Man by György E. Révész
Cover of the book Selected Poems of Rumi by György E. Révész
Cover of the book The Berenstain Bears' Storytime Treasury by György E. Révész
Cover of the book Laws 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