Tarkvarateaduse instituudi doktorant, Matthew David Earnshaw kaitseb 15. jaanuaril 2025. a. algusega kl 14:00 oma doktoritööd "Languages of String Diagrams" (" Nöördiagrammide keeled"). Kaitsmine toimub Tallinna Tehnikaülikooli infotehnoloogia maja ruumis ICT-638 (Akadeemia tee 15a) ning on jälgitav veebirakenduse Zoom vahendusel.
Käesolevas doktoritöös toome sisse nöördiagrammide regulaarsete ja kontekstivabade keelte teooria. Taolisi keeli käsitleme morfismidena monoidilistes kategooriates. Regulaarsete nöördiagrammide keelte klassi kuuluvad regulaarsed sõnade, puude ja Mazurkiewiczi jälgede keeled. Me tõestame pumpamislemma ja uurime deterministlikku keeldekuuluvuse tuvastatavust. Jälgede keelte näide viib peenema variandini nöördiagrammidest efektidega kategooriate jaoks. Kontekstivabade nöördiagrammide keelte klassis sisalduvad klassikalised sõnade, puude ja hüpergraafide kontekstivabad keeled konstrueerituna sobivates monoidilistes kategooriates. Me tõestame esitatavusteoreemi, mis seostab need kaks keelteklassi, ja on inspireeritud Chomsky ja Schützenberger’ esitatavusteoreemist.
Doktoritöö on avaldatud Tehnikaülikooli raamatukogu digikogus.
Juhendaja: prof Pawel Maria Sobocinski, TalTech, Eesti.
Oponendid:
- prof Bartek Klin, University of Oxford, Suurbritannia;
- prof Noam Zeilberger, Laboratoire d’informatique de l’École Polytechnique, Prantsusmaa.
Jälgi avalikku kaitsmist Zoomis
Meeting ID: 986 2976 0936
Passcode: 048623