| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| lectures:books:flc [2013/06/21 14:09] – [Publications & Links] krivka | lectures:books:flc [2014/10/07 11:25] (current) – [Teaching Materials] krivka |
|---|
| ^Publisher:|Taylor & Francis, New York| | ^Publisher:|Taylor & Francis, New York| |
| ^ISBN:| 978-1466513457| | ^ISBN:| 978-1466513457| |
| ^Publication Date:|2013| | ^Publication Date:|2014| |
| |
| |
| |
| ===== Book ===== | ===== Book ===== |
| | {{ :lectures:books:flc_book_cover.jpg?direct&150|}} |
| * [[flc_summary|Summary]] | * [[flc_summary|Summary]] |
| * [[flc_summary#features|Features]] | * [[flc_summary#features|Features & Benefits]] |
| * [[flc_errata|Errata]] | * [[flc_errata|Errata]] |
| |
| ===== Publications & Links ===== | ===== Publications & Links ===== |
| * Author's Related Publications: | * Author's Related Publications: |
| * [[lectures:books:books|Books]]: FIXME - nebylo by lepší zde mít jenom odkaz na stránku [[lectures:books:books|Books]] s aktuálním seznamem knih? | * [[lectures:books:books|Author's Books]] |
| * Alexander Meduna: Automata and Languages, Springer, London, 2000 | |
| * Alexander Meduna: [[eocd|Elements of Compiler Design]], Taylor and Francis, 2008 | |
| * [[vita:vita#refereed_journal_articles_since_1987|Author's Journal Articles]] | * [[vita:vita#refereed_journal_articles_since_1987|Author's Journal Articles]] |
| | * [[flc_publications#recommended_textbooks|Recommended Textbooks]] |
| * [[flc_publications]] | |
| | |
| * FIXME [[eocd_publications#recommended_textbooks|Recommended Textbooks]] | |
| | |
| * FIXME [[eocd_publications#other_related_publications|Other Related Publications]] | |
| | |
| * FIXME [[eocd_publications#relevant_links|Relevant Links]] | |
| | |
| |
| |
| ===== Teaching Materials ===== | ===== Teaching Materials ===== |
| |
| * FIXME [[eocd_teach#suggested_thirteen-week_schedule|Schedule]] | * [[flc_schedule#suggested_thirteen-week_schedule|Schedule]] |
| * FIXME [[eocd_teach#lectures_pdf|Lectures (PDF)]] | * [[flc_schedule#lectures_pdf|Lectures (PDF)]] |
| | * {{lectures:books:flc_programs.zip|Programs}} (Source codes written in [[http://www.freepascal.org|Free Pascal]]) |
| |
| ===== Programs ===== | |
| |
| |
| Source codes of some examples: | |
| * [[http://www.fit.vutbr.cz/~meduna/work/external/flc/sources.zip|Pascal Source Codes]] | |
| |
| | ===== 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 |
| ===== Samples ===== | * {{:lectures:books:4_flc_chapter_9.pdf|Chapter 9}}: Turing Machines and Their Variants |
| FIXME | * {{:lectures:books:5_flc_chapter_10.pdf|Chapter 10}}: Applications of Turing Machines: Theory of Computation |
| * {{:lectures:books:1_flc_contents_sample.pdf|Contents}} ??? | |
| * {{:lectures:books:2_flc_preface_sample.pdf|Preface}} ??? | |
| * {{:lectures:books:3_flc_chapter02_sample.pdf|Chapter 2}}: Formal Languages and Rewriting Systems | |
| * {{:lectures:books:5_flc_chapter09_sample.pdf|Chapter 9}}: Turing Machines and Their Variants | |
| * {{:lectures:books:4_flc_chapter10_sample.pdf|Chapter 10}}: Applications of Turing Machines: Theory of Computation | |
| |
| |
| |
| ===== Taylor & Francis Website ===== | ===== Taylor & Francis Website ===== |
| To buy the book, FIXME [[http://www.taylorandfrancis.com/shopping_cart/products/product_detail.asp?sku=&isbn=9781420063233&parent_id=&pc=/shopping_cart/search/search.asp?search%3DCompiler%2520Design|visit the 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]]. |
| |
