{"id":535,"date":"2015-10-06T09:39:33","date_gmt":"2015-10-06T07:39:33","guid":{"rendered":"http:\/\/www.mimuw.edu.pl\/~bojan\/?page_id=535"},"modified":"2016-02-19T14:09:39","modified_gmt":"2016-02-19T13:09:39","slug":"jezyki-automaty-i-obliczenia-2","status":"publish","type":"page","link":"https:\/\/www.mimuw.edu.pl\/~bojan\/20152016-2\/jezyki-automaty-i-obliczenia-2","title":{"rendered":"Advanced Topics in Automata (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 5070. The exercises are on Wednesdays, 16:15 in in room 5820, with Wojciech Czerwi\u0144ski.<\/a><\/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. weighted automata: decidable and undecidable problems<\/a><\/li>\n
  4. distance automata:\u00a0decidability of\u00a0limitedness<\/a><\/li>\n
  5. tree-walking automata: failure of determinisation<\/li>\n
  6. transducers<\/a><\/li>\n
  7. learning\u00a0automata: the Angluin algorithm<\/a><\/li>\n
  8. automata with infinite alphabets<\/a><\/li>\n
  9. sets with atoms<\/a><\/li>\n<\/ol>\n

    Here are the star exercises<\/a>\u00a0and their solvers<\/a>.<\/p>\n

    Exam.\u00a0<\/strong>The exam is an oral exam. Please email me to choose a time or use this link<\/a> for Feb 15. Choose any subset of the 9 topics in the list above, here is the exchange rate:
    \n\u2022 3\u00a0topics: dostateczny
    \n\u2022 5 topics: dobry
    \n\u2022 7\u00a0topics: bardzo dobry<\/p>\n

     <\/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 5070. The exercises are on Wednesdays, 16:15 in in room 5820, with Wojciech Czerwi\u0144ski. automata on infinite words: determinisation games of infinite duration: the B\u00fcchi-Landweber theorem weighted automata: decidable and undecidable problems distance automata:\u00a0decidability […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":532,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-535","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/535"}],"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=535"}],"version-history":[{"count":12,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/535\/revisions"}],"predecessor-version":[{"id":1040,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/535\/revisions\/1040"}],"up":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/532"}],"wp:attachment":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/media?parent=535"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}