13 апреля (пятница) в 17 часов в 610 аудитории состоится семинар кафедры алгебры и математической логики.

Докладчик: Селиванов В.Л. (Институт систем информатики им. А.П. Ершова СО РАН, г. Новосибирск)

Название доклада: “Некоторые классификации регулярных языков”

Аннотация: В докладе будет сделан краткий обзор известных классификаций регулярных языков конечных и бесконечных слов. А именно, будут рассмотрены классификации, основанные на лемме Хигмана и её вариантах, логические классификации, основанные на связях теории автоматов с логикой, и топологические классификации регулярных языков бесконечных слов.