{"id":1097,"date":"2016-09-30T16:13:27","date_gmt":"2016-09-30T14:13:27","guid":{"rendered":"http:\/\/www.mimuw.edu.pl\/~bojan\/?page_id=1097"},"modified":"2017-02-03T06:53:02","modified_gmt":"2017-02-03T05:53:02","slug":"advanced-topics-in-automata-20162017-jezyki-automaty-i-obliczenia-2","status":"publish","type":"page","link":"https:\/\/www.mimuw.edu.pl\/~bojan\/20162017-2\/advanced-topics-in-automata-20162017-jezyki-automaty-i-obliczenia-2","title":{"rendered":"Advanced Topics in Automata 2016\/2017 (J\u0119zyki, Automaty i Obliczenia 2)"},"content":{"rendered":"

This lecture is a choice of slightly more advanced topics from automata theory.<\/p>\n

The lecture is on Tuesdays, 12:15 in room 5820. The exercises are on Wednesdays, 16:15 in room 5820, with Wojciech Czerwi\u0144ski.<\/a>\u00a0Here is a plan of the lecture. There was a similar lecture last year<\/a>. Here are the topics for this year:<\/p>\n

    \n
  1. automata on infinite words: determinisation<\/a><\/li>\n
  2. games of infinite duration: the B\u00fcchi-Landweber theorem<\/a><\/li>\n
  3. distance automata:\u00a0decidability of\u00a0limitedness<\/a><\/li>\n
  4. treewidth and mso: Courcelle’s theorem<\/a><\/li>\n
  5. learning\u00a0automata: the Angluin algorithm<\/a><\/li>\n
  6. transducers<\/a><\/li>\n<\/ol>\n

    Exam.\u00a0<\/strong>The exam is an oral exam, which is mainly questions about the proofs of theorems. Please email me to choose a time. You can improve your exam grade using the star exercises.<\/a>\u00a0 Choose any subset of the 6 topics in the list above, here is the exchange rate:
    \n\u2022 2 topics: dostateczny
    \n\u2022 3\u00a0topics: dobry
    \n\u2022 4 topics: bardzo dobry<\/p>\n","protected":false},"excerpt":{"rendered":"

    This lecture is a choice of slightly more advanced topics from automata theory. The lecture is on Tuesdays, 12:15 in room 5820. The exercises are on Wednesdays, 16:15 in room 5820, with Wojciech Czerwi\u0144ski.\u00a0Here is a plan of the lecture. There was a similar lecture last year. Here are the topics for this year: automata […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":1095,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-1097","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1097"}],"collection":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/comments?post=1097"}],"version-history":[{"count":6,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1097\/revisions"}],"predecessor-version":[{"id":1267,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1097\/revisions\/1267"}],"up":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1095"}],"wp:attachment":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/media?parent=1097"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}