{"id":195,"date":"2019-07-23T15:00:07","date_gmt":"2019-07-23T13:00:07","guid":{"rendered":"https:\/\/user.phil.hhu.de\/balogh\/?page_id=195"},"modified":"2023-07-15T13:35:06","modified_gmt":"2023-07-15T11:35:06","slug":"esslli-2019-course","status":"publish","type":"page","link":"https:\/\/user.phil.hhu.de\/balogh\/esslli-2019-course\/","title":{"rendered":"ESSLLI 2019 course"},"content":{"rendered":"<p><strong>Formal Languages in Theory and Practice<\/strong><\/p>\n<p><a href=\"https:\/\/esslli2019.folli.info\/welcome-to-esslli-2019\/\" target=\"_blank\" rel=\"noopener\">ESSLLI 2019<\/a> course<br \/>\nweek 2, 11:00 \u2013 12:30<\/p>\n<p>Central concepts in theoretical linguistics like &#8220;phrase structure&#8221; are derived from formal language theory. A theory that at the same time provides the theoretical foundations of computation. The course introduces formal languages, grammars and automatons and discusses the question of the structural complexity of natural languages.<\/p>\n<p>The following topics will be covered by the course: modeling natural languages as formal languages, the Chomsky hierarchy and the properties of its language classes, grammars and automatons for language generation and acceptance, and decision problems and the notion of reducibility. At the end of the course the participants will know the fundamental concepts of formal language theory, the central results and the basic proof techniques. They will gain the necessary methods to dive deeper into the subject by self-study.<\/p>\n<p><strong>Lecturers<\/strong><br \/>\n<a href=\"https:\/\/user.phil.hhu.de\/~petersen\/\" target=\"_blank\" rel=\"noopener\">Wiebke Petersen<\/a><br \/>\n<a href=\"http:\/\/user.phil.hhu.de\/balogh\" target=\"_blank\" rel=\"noopener\">Kata Balogh<\/a><br \/>\n(Heinrich-Heine-Universit\u00e4t D\u00fcsseldorf)<\/p>\n<p><strong>Slides<\/strong><br \/>\nDay 0: <a href=\"https:\/\/user.phil.hhu.de\/balogh\/wp-content\/uploads\/sites\/50\/2019\/08\/day0_ESSLLI19.pdf\" target=\"_blank\" rel=\"noopener\">basic set theory (reminder) <\/a><br \/>\nDay 1: <a href=\"https:\/\/user.phil.hhu.de\/balogh\/wp-content\/uploads\/sites\/50\/2019\/08\/ESSLLI19_FLT_DAY1.pdf\" target=\"_blank\" rel=\"noopener\">SLIDES<\/a><br \/>\nDay 2: <a href=\"https:\/\/user.phil.hhu.de\/balogh\/wp-content\/uploads\/sites\/50\/2019\/08\/ESSLLI19_FLT_DAY2.pdf\" target=\"_blank\" rel=\"noopener\">SLIDES<\/a>, <a href=\"http:\/\/www.jflap.org\/\" target=\"_blank\" rel=\"noopener\">JFLAP<\/a>, <a href=\"https:\/\/www.swisseduc.ch\/compscience\/exorciser\/download.html\" target=\"_blank\" rel=\"noopener\">Exorciser<\/a><br \/>\nDay 3: <a href=\"https:\/\/user.phil.hhu.de\/balogh\/wp-content\/uploads\/sites\/50\/2019\/08\/ESSLLI19_FLT_DAY3.pdf\" target=\"_blank\" rel=\"noopener\">SLIDES<\/a><br \/>\nDay 4: <a href=\"https:\/\/user.phil.hhu.de\/balogh\/wp-content\/uploads\/sites\/50\/2019\/08\/ESSLLI19_FLT_DAY4.pdf\" target=\"_blank\" rel=\"noopener\">SLIDES<\/a>, <a href=\"https:\/\/user.phil.hhu.de\/balogh\/wp-content\/uploads\/sites\/50\/2019\/08\/ESSLLI19_FLT_DAY4_ho.pdf\" target=\"_blank\" rel=\"noopener\">HANDOUT version<\/a>, <a href=\"https:\/\/turingmachinesimulator.com\/\" target=\"_blank\" rel=\"noopener\">Turing machine simulator<\/a><br \/>\nDay 5: <a href=\"https:\/\/user.phil.hhu.de\/balogh\/wp-content\/uploads\/sites\/50\/2019\/08\/ESSLLI19_FLT_DAY5.pdf\" target=\"_blank\" rel=\"noopener\">SLIDES<\/a><br \/>\n<a href=\"https:\/\/user.phil.hhu.de\/balogh\/wp-content\/uploads\/sites\/50\/2019\/08\/ESSLLI19_FLT_SUMMARY.pdf\" target=\"_blank\" rel=\"noopener\">COURSE SUMMARY<\/a><\/p>\n<p><strong>Literature<\/strong><br \/>\nHopcroft, John E., Rajeev Motwani and Jeffrey D. Ullmann. 2006. <em><a href=\"http:\/\/infolab.stanford.edu\/~ullman\/ialc.html\" target=\"_blank\" rel=\"noopener\">Introduction to Automata Theory, Languages, and Computation<\/a><\/em>. 3rd Edition. Addison-Wesley.<\/p>\n<p>Partee, Barbara H., Alice ter Meulen and Robert E. Wall. 1990. <em>Mathematical Methods in Linguistics.<\/em> Kluwer Academic Publishers.<\/p>\n<p>M\u00fcller, Stefan. 2016. <em><a href=\"http:\/\/langsci-press.org\/catalog\/book\/195\" target=\"_blank\" rel=\"noopener\">Grammatical theory.<\/a> From transformational grammar to constraint-based approaches.<\/em> Language Science Press.<\/p>\n<p>Shieber, Stuart M. 1985. <a href=\"http:\/\/www.eecs.harvard.edu\/~shieber\/Biblio\/Papers\/shieber85.pdf\" target=\"_blank\" rel=\"noopener\">Evidence against the context-freeness of natural language.<\/a> <em>Linguistics and Philosophy<\/em> 8. 333-343.<\/p>\n<p>Pullum, Geoffrey K. and Gerald Gazdar. 1982. <a href=\"https:\/\/www.jstor.org\/stable\/25001071\" target=\"_blank\" rel=\"noopener\">Natural Languages and Context-Free Languages.<\/a> <em>Linguistics and Philosophy<\/em> Vol. 4, No. 4. 471-504.<\/p>\n<p>Gazdar, Gerald and Geoffrey K. Pullum. 1985. <a href=\"https:\/\/link.springer.com\/article\/10.1007\/BF03037123\" target=\"_blank\" rel=\"noopener\">Computationally relevant properties of natural languages and their grammars.<\/a> <em>New Generation Computing<\/em> 3. 273\u2013306.<\/p>\n<p>Pullum, Geoffrey K. 1986. <a href=\"https:\/\/www.jstor.org\/stable\/4047619\" target=\"_blank\" rel=\"noopener\">Footloose and context-free.<\/a> <em>Natural Language and Linguistic Theory<\/em> 4. 409\u2013414.<\/p>\n<p>Pullum, Geoffrey K. 1987. <a href=\"https:\/\/www.jstor.org\/stable\/4047635\" target=\"_blank\" rel=\"noopener\">Nobody goes around at LSA meetings offering odds.<\/a> <em>Natural Language and Linguistic Theory<\/em> 5. 303\u2013309.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Formal Languages in Theory and Practice ESSLLI 2019 course week 2, 11:00 \u2013 12:30 Central concepts in theoretical linguistics like &#8220;phrase structure&#8221; are derived from formal language theory. A theory that at the same time provides the theoretical foundations of computation. The course introduces formal languages, grammars and automatons and discusses the question of the &hellip; <a href=\"https:\/\/user.phil.hhu.de\/balogh\/esslli-2019-course\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":56,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0},"_links":{"self":[{"href":"https:\/\/user.phil.hhu.de\/balogh\/wp-json\/wp\/v2\/pages\/195"}],"collection":[{"href":"https:\/\/user.phil.hhu.de\/balogh\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/user.phil.hhu.de\/balogh\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/user.phil.hhu.de\/balogh\/wp-json\/wp\/v2\/users\/56"}],"replies":[{"embeddable":true,"href":"https:\/\/user.phil.hhu.de\/balogh\/wp-json\/wp\/v2\/comments?post=195"}],"version-history":[{"count":31,"href":"https:\/\/user.phil.hhu.de\/balogh\/wp-json\/wp\/v2\/pages\/195\/revisions"}],"predecessor-version":[{"id":288,"href":"https:\/\/user.phil.hhu.de\/balogh\/wp-json\/wp\/v2\/pages\/195\/revisions\/288"}],"wp:attachment":[{"href":"https:\/\/user.phil.hhu.de\/balogh\/wp-json\/wp\/v2\/media?parent=195"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}