TID: Moderní teoretická informatika

Zde bude seznam přednášek (audio záznamů a případně pdf prezentací či seminárních prací) posledních několika let přednášek v předmětu doktorského studia Moderní teoretická informatika (TID). Pokud vás předmět zaujal, tak zvažte i předmětu Regulované gramatiky a automaty (RGD) též od prof. Meduny.

Základní informace k předmětu

Bodové hodnocení

Viz sekce “Kontrolovaná výuka” na oficiální stránce předmětu TID.

Pro další inspiraci ohledně vypracování seminárních prací doporučujeme přehled prací z předchozích ročníků.

Additional Lectures: Jumping Automata and Grammars (2017)

New Lectures: New Versions of Classical Automata (Meduna, 2012)

  • Regulated Pushdown Automata, PDF
  • Deep Pushdown Automata, PDF
  • #-Rewriting Systems, PDF
  • Jumping Finite Automata, PDF (2013)

New Version of Formal Models

  • Multigenerative Grammar Systems, PDF (2010)

Materials for Lectures (FRVŠ: Koutný, Čermák, Meduna (2010))

All materials contained in this table was supported by FR2581/2010/G1 grant.

Lecture Topic Presentation
Turing machines
01 Church-Turing Thesis and Turing Machine PDF
02 Restricted Turing Machines PDF
03 Universal Turing Machine PDF
04 Theory of Computation PDF
05 Recursion theorem and Kleene's s-m-n theorem PDF
06 Decidability and Decidable Problems for Finite Automata PDF
07 Decidable Problems for Context–Free Grammars PDF
08 Undecidable Problems PDF
09 General Approach to Undecidability and Computational Complexity PDF
L-systems
10 L-systems and Procedural modeling PDF
11 Formal models of Lindenmayer systems PDF
12 Modeling of Plant Development by Lindenmayer Systems PDF
13 L-systems in computer graphics PDF
Bonus topics
14 On n-Path-Controlled Grammars PDF
15 Multilanguages and Multiaccepting Automata System PDF
16 Pushdown Automata Systems PDF
All Lectures in One Archive Archive

Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))

Lecture Topic Presentation Printable
01 Chomsky Hierachy PDF PDF
02 Context-Free Grammars PDF PDF
03 Normal Forms PDF PDF
04 Matrix Grammars PDF PDF
05 Random Context Grammars PDF PDF
06 Programmed Grammars PDF PDF
07 Regulated Rewriting Hierarchy PDF PDF
08 L-Systems PDF PDF
09 CD Grammar Systems PDF PDF
10 PC Grammar Systems PDF PDF
11 Scattered Context Grammars PDF PDF
12 Multi-Grammars PDF PDF
13 Other Grammars PDF PDF
14 Turing Machines PDF PDF
15 Transducers PDF PDF
16 LEX (flex) PDF PDF
17 YACC (bison) PDF PDF
All Lectures in One Archive ZIP
  • 2014-01-06: Updated lecture 10
  • 2013-12-07: Updated lecture 15
  • 2013-12-01: Updated lecture 15
  • 2013-11-09: Updated lecture 10
  • 2013-11-02: Updated lecture 11
  • 2013-10-29: Updated lecture 6
  • 2013-10-03: Updated lecture 3
  • 2011-10-05: Updated lectures 3, 7, 16, and 17
  • 2009-10-21: Update (see backup archive)
  • 2008-09-22: Update (see backup archive)
  • 2008-02-26: First version (see backup archive)

Advanced Lectures enhancing the Fundamentals

Lecture Topic Presentation Printable
01 k-Limited Erasing PDF PDF
02 Reduced Proper Generators PDF PDF
03 MaxMin Rewriting PDF PDF
04 Non-Context-Free Scattered Context Grammars PDF PDF
05 Canonical Proper Generators PDF PDF
06 Context Conditional Grammars PDF PDF
All Bonuses in One Archive ZIP

Prezentace seminárních prací

Od roku 2012 jsou prezentace seminární práce do TID součástí studentské konference LTA:

Starší ročníky jsou součástí Dílny moderní teoretické informatiky nebo stránky se seminárními prácemi z TID.

2016 - 2017 (Zimní semestr 2016)

Přednášky

Přednášky jdou zejména podle materiálů “Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))” uvedených výše.

Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek.

Prezentace seminárních prací

Prezentace byly součástí studentské konference Language Theory with Applications 2016 (viz Session 2 a 4).

2015 - 2016 (Zimní semestr 2015)

Přednášky

Přednášky jdou zejména podle materiálů “Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))” uvedených výše.

Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek.

Prezentace seminárních prací

Vaše prezentace byly součástí studentské konference Language Theory with Applications 2015 (viz Session 2 a 5).

2014 - 2015 (Zimní semestr 2014)

Přednášky

Přednášky jdou zejména podle materiálů “Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))” uvedených výše.

Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek.

Prezentace seminárních prací

Vaše prezentace budou součástí studentské konference Language Theory with Applications 2014, podrobnosti se včas dozvíte.

Autor Téma Prezentace Audio
Grochol David, Ing. Hash functions Prezentace Záznam
Hypský Roman, Ing. Formal definition of Business rules by Grammar systems Prezentace Záznam
Janča Radim, Mgr. Use of Probabilistic Context-Free Grammars in Password Cracking Prezentace Záznam
Kocman Radim, Ing. Scattered context generators of sentences with their parses Prezentace Záznam
Krčma Martin, Ing. A formal model of FPGA implemented artificial neural networks Prezentace Záznam
Lichtner Ondrej, Ing. Formal specifications of Software-Defined Networks Prezentace Záznam
Loukota Petr, Ing. Stemming Algorithms Prezentace Záznam
Nikl Vojtěch, Ing. Parallelism in Modern Compilers Prezentace Záznam
Privalov Vladimir Using Deep learning for Object recognition in Robotics Prezentace Záznam
Viktorin Jan, Ing. Processing of network traffic in low-power devices with FPGA Prezentace Záznam

2013 - 2014 (Zimní semestr 2013)

Přednášky

Přednášky jdou zejména podle materiálů “Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))” uvedených výše.

Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek.

Prezentace seminárních prací

Vaše prezentace budou součástí studentské konference Language Theory with Applications 2013, podrobnosti se včas dozvíte.

2012 - 2013 (Zimní semestr 2012)

Přednášky

Přednášky jdou zejména podle materiálů “Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))” uvedených výše.

Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek.

Vaše prezentace budou součástí studentské konference Language Theory With Applications 2012, podrobnosti se včas dozvíte.

Doplňující materiály

2011 - 2012 (Zimní semestr 2011)

Přednášky

Přednášky jdou zejména podle materiálů “Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))” uvedených výše.

Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek

Letos budou vaše prezentace součástí akce Dílna moderní teoretické informatiky 2011, podrobnosti se včas dozvíte.

Prezentace seminárních prací
Autor Téma Abstrakt Prezentace
Bartoš Václav, Ing. Using Support Vector Machines to classify multidimensional data Abstrakt Prezentace
Čambor Michal, Ing. Abstrakt Prezentace
Houšť Marek, Ing. DEVS formalism for modeling and analysis of discrete systems Abstrakt Prezentace
Kouřil Jan, Ing. Incremental construction of minimal finite automata and itsutilization in natural language processing Abstrakt Prezentace
Král Jiří, Ing. Using Alternating-Time Logic for modeling of artificial agents inwireless nets Abstrakt Prezentace
Kraus Zdeněk, Ing. Cryptographic API grammar Abstrakt Prezentace
Luža Radim, Ing. Processing and analysis of robotic arm control language Abstrakt Prezentace
Malčík Dominik, Ing. Model of a semiautomatic detection system Abstrakt Prezentace
Martinek David, Ing. Grammars for problems solved by dynamic software systems Abstrakt Prezentace
Matoušek Jiří, Ing. On Complexity of Offline Partial DynamicReconfiguration Scheduling Abstrakt Prezentace
Milička Martin, Ing. Tree Edit Distance in a Document Comparison Abstrakt Prezentace
Minarovský Peter, Ing. A Testing Theory for Real‐Time Systems Abstrakt Prezentace
Petrlík Jiří, Ing. Multiobjective Grammatically-based Genetic Programming Abstrakt Prezentace
Sopuch Zbyněk, Ing. Parallel parsing based upon general multigenerative grammar systems Abstrakt Prezentace
Šikulová Michaela, Ing. Language theory with application: Cartesian genetic programming Abstrakt Prezentace
Šimková Marcela, Ing. Assertion-Based Verification Abstrakt Prezentace
Škoda Petr, Mgr. Problems of CAP theorem proof and connection to PACELC taxonomy Abstrakt Prezentace
Volf Tomáš, Ing. Representing and Quering Moving Objects Abstrakt Prezentace
Vopěnka Václav, Ing. Automatic Polynomial Transformation of Differential Equations and Derivation Closure Abstrakt Prezentace

Abstrakty jednotlivých prací jsou dostupné na stránkách LTA 2011.

2010 - 2011 (Zimní semestr 2010)

Přednášky

Přednášky jdou podle výše uvedených materiálů. Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek

Letos budou prezentace součástí akce Dílna moderní teoretické informatiky 2010.

Prezentace seminárních prací
Autor Téma Abstrakt Prezentace
Čončka Přemysl, Ing. Abstrakt Prezentace
Ďurfina Lukáš, Ing. Scattered context grammars and generic reverse compilation Abstrakt Prezentace
Halfar Patrik, Ing. Temporální logika reaktivních a konkurentních systémů Abstrakt Prezentace
Janda Miloš, Ing. Finite state transducers, String-to-Weight Transducers a jejich využití ve zpracování řeči Abstrakt Prezentace
Kadlček Filip, Ing. Váhované konečné automaty a jejich aplikace ve zpracování obrazu Abstrakt Prezentace
Kleiner Miloš, Ing. Multigenerativní systémy Abstrakt Prezentace
Kombrink Stefan Abstrakt Prezentace
Košař Vlastimil, Ing. Modifikace deterministických konečných automatů Abstrakt Prezentace
Minárik Michal, Ing. Tree-Adjoining Grammars Abstrakt Prezentace
Mrnuštík Michal, Ing. Závislostní analýza přirozeného jazyka Abstrakt Prezentace
Novotňák Jiří, Ing. Partial Commutation and Traces Abstrakt Prezentace
Polčák Libor, Ing. Model směrování v hierarchických sítích se zajištěním QoS Abstrakt Prezentace
Tlusťák Karel, Ing. Abstrakt Prezentace
Vrábel Lukáš, Ing. Deep Pushdown Automata Abstrakt Prezentace
Zemek Petr, Ing. Left Random Context Grammars Abstrakt Prezentace

2009 - 2010 (Zimní semestr 2009)

Přednášky

Přednášky jdou podle výše uvedených materiálů. Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek

Prezentace seminárních prací
Autor Prezentace Audio
Luděk Dolíhal Prezentace Záznam
Jan Horáček Prezentace Záznam
Petr Horáček Prezentace Záznam
Michal Kajan Prezentace Záznam
Pavol Korček Prezentace Záznam
Jakub Křoustek Prezentace Záznam
Ondřej Malačka Prezentace Záznam
Patrik Petřík Prezentace Referát Záznam
Tomáš Richta Prezentace Záznam
Marek Schmidt Prezentace Záznam
Peter Solár Prezentace Záznam
Svatopluk Šperka Prezentace Záznam
Eva Zámečníková Prezentace Záznam
Jakub Žák Prezentace Záznam
Stanislav Židek Prezentace Záznam

2008 - 2009 (Zimní semestr 2008)

Přednášky

Přednášky jdou podle výše uvedených materiálů. Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek

Prezentace seminárních prací

2007 - 2008 (Zimní semestr 2007)

Přednášky

Název přednášky Audio
1. Úvod, Chomského hierarchie, normální formy První část (16 MB)
Druhá část (17 MB)
2. Řízené gramatiky - maticové gramatiky První část (17 MB)
Druhá část (15 MB)
3. Řízené gramatiky - programované a zakazující gramatiky První část (15 MB)
Druhá část (19 MB)
4. Řízené gramatiky, L systémy První část (17 MB)
Druhá část (14 MB)
5. L systémy První část (13 MB)
Druhá část (20 MB)
6. CD gramatické systémy První část (13 MB)
Druhá část (20 MB)
7. PC gramatické systémy První část (15 MB)
Druhá část (17 MB)

Prezentace seminárních prací

Autor Název seminární práce Prezentace 1 Prezentace 2 Audio nahrávka
Goldefus FilipGrammar Systems - Survey (EN) Left Forbidding Grammar Systems (EN)goldefus.wma (CZ)
Husár AdamDeterministický překlad jazyků LL(1) pomocí redukovaného zásobníkového automatuhusar-text.pdf (CZ)husar-pres.pdf (EN) husar.wma (CZ)
Husár AdamGlobal Index Grammarshusar-gig.pdf (EN)husar-gig-pres.pdf (EN) N/A
Jirák OtaParsing of Context-Free Languages (EN) Attributed Scattered Context Grammars (EN)jirak.wma (EN)
Krajíček JiříDigital Images and Formal Languages 1st part 2nd part (EN)krajicek.wma (CZ)
Mikolov TomášNatural Languages 1st part: Contextual grammars and natural languages 2nd part: Natural languages and evaluation of their models (EN)mikolov.wma (CZ)
Novotný Tomáš Automata for matching patterns (EN) ADL transformation using Process Graph and DFA (EN)novotny.wma (EN)
Přikryl ZdeněkAdditional types of L-systems (EN)Formal description Formal description of creating a central controller (EN)prikryl.wma (CZ)
Trmač MiloslavInstruction Selection with Bottom-Up Rewriting Systems (EN)Symbolic Dynamical Systems (EN) trmac.wma (CZ)
Zuzaňák JiříGraph grammars (EN)Two-Dimensional Languages (EN) zuzanak.wma (CZ)

Slajdy (naskenováno 2006-09)

Název přednášky Slajdy
1. Chomsky Hierarchy, Normal Forms, Matrix Grammars(1.6 MB)
2. Random Context, Programmed Grammrs, M=P, Generalized Forbidding Grammars(1.0 MB)
3. GCC Grammars, CFG over String Monoids, Systolic Automata, L-systems, Parallel Communicating Grammar Systems(1.9 MB)
4. PC Grammars Systems, CD Grammars Systems, FET0L, LBA, Two-pushdown Automata(2.9 MB)
5. Two-pushdown Automata, Unrestricted Grammars, Transducers(3.0 MB)
6. Excerpts from Theory of Translation(3.2 MB)
Komplet přednášek v jednou zaheslovaném archívutid-all-slides-scan.zip (13.5 MB)

2005 - 2006 (Zimní semestr 2005)

Přednášky

Název přednášky Zvukový záznam
1. Úvod a opakování základních pojmůtid01a.mp3 (14.6 MB)
tid01b.mp3 (17.6 MB)
3. Řízené gramatikytid03.wma (34.2 MB)
4. Gramariky s kontextuálními podmínkami, L systémytid04a.wma (19.7 MB)
tid04b.wma (12.7 MB)
5. L systémytid05.wma (30.6 MB)
6. Gramatické systémytid06.wma (33.3 MB)
7. Gramatické systémy, Systolické automatytid07.wma (28.1 MB)
8. Paralelní gramatiky (studijní materiály, 424.9 KB), různé typy automatůtid08.wma (32.9 MB)
9. Formalismy pro překladtid09a.wma (20.1 MB)
tid09b.wma (7 MB)

Prezentace seminárních prací

Autor Název seminární práce Text práce Prezentace Audio nahrávka prezentace
Ondrej GlembekCzech LVCSR and Language Modellingglemek_text.pdf (EN)glembek.wma (CZ)
Tomás MasopustSelf-Regulating Finite Automatamasopust_presentation.pdf (CZ)masopust.wma (CZ)
Ivana RudolfováShlukování proteinových sekvencírudolfa_text.pdf (EN)rudolfa_presentation.ppt (CZ)rudolfova.wma (CZ)
Rudolf SchöneckerString-Partitioning Systemsschonec_text.pdf (CZ)schonec_presentation.pdf (EN)schonecker.wma (CZ)
Jaroslav ŠkarvadaVyužití Petriho sítí při plánování testu číslicových systémůskarvada_text.doc (CZ)skarvada_presentation.doc (CZ)skarvada.wma (CZ)
Jiří TechetBidirectional Contextual Grammarstechet_text.pdf (EN)techet_presentation.pdf (EN)techet.wma (CZ)

2000 - 2005

Stránka se seminárními prácemi studentů z akademických let 2000/2001 až 2004/2005.

lectures/phd/tid/tid.txt · Last modified: 2020/04/06 09:23 by krivka
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki