====== Formal Languages and Computation: Models and Their Applications ======

^Author:|**[[#author|Meduna, Alexander]]**|
^Title:|//Formal Languages and Computation: Models and Their Applications//|
^Publisher:|Taylor & Francis, New York|
^ISBN:| 978-1466513457|
^Publication Date:|2014|



===== Author =====

  * [[flc_vita|Vita]]
  * [[http://www.fit.vutbr.cz/~meduna|Website]]
  * [[http://www.fit.vutbr.cz/~meduna/work|Scientific Work]]





===== Book =====
{{ :lectures:books:flc_book_cover.jpg?direct&150|}}
  * [[flc_summary|Summary]]
  * [[flc_summary#features|Features & Benefits]]
  * [[flc_errata|Errata]]


===== Publications & Links =====
  * Author's Related Publications:
    * [[lectures:books:books|Author's Books]]
    * [[vita:vita#refereed_journal_articles_since_1987|Author's Journal Articles]]
  * [[flc_publications#recommended_textbooks|Recommended Textbooks]]







===== Teaching Materials =====

  * [[flc_schedule#suggested_thirteen-week_schedule|Schedule]]
  * [[flc_schedule#lectures_pdf|Lectures (PDF)]]
  * {{lectures:books:flc_programs.zip|Programs}} (Source codes written in [[http://www.freepascal.org|Free Pascal]])




===== Samples =====

  * {{:lectures:books:1_flc_contents.pdf|Contents}}
  * {{:lectures:books:2_flc_preface.pdf|Preface}} 
  * {{:lectures:books:3_flc_chapter_2.pdf|Chapter 2}}: Formal Languages and Rewriting Systems
  * {{:lectures:books:4_flc_chapter_9.pdf|Chapter 9}}: Turing Machines and Their Variants
  * {{:lectures:books:5_flc_chapter_10.pdf|Chapter 10}}: Applications of Turing Machines: Theory of Computation



===== Acknowledgements =====

  * [[flc_acknowledgements|Acknowledgements]]



===== Taylor & Francis Website =====
To buy the book, [[http://www.taylorandfrancis.com/books/details/9781466513457/|visit the Taylor & Francis Website]] or [[http://www.amazon.com/Formal-Lanquages-Computation-Models-Applications/dp/1466513454/|Amazon.com]].