Akce ČVUT
| Dnes | ||||||
|---|---|---|---|---|---|---|
| « | březen 2016 | » | ||||
| Po | Út | St | Čt | Pá | So | Ne |
| 1 | 2 | 3 | 4 | 5 | 6 | |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 | 31 | |||
Algebraic Systems
18.03.2016 14:00
Obsah přednášky:
Continuous semirings; basics of fixed point theory; algebraic systems as generalization of context ? free grammars; normal forms for algebraic systems (canonical two form, Chomsky normal form, operator normal form, Greibach normal form).
Předpokládané znalosti publika: The lecture is selfcontained, i. e., it contains all definitions and results needed. The handling of algebraic systems is mathematically oriented (especially the proofs) and so mathematical maturity is needed. Knowledge of the theory of context ? free grammars and languages is helpful.
Literatura:
Zoltan Esik, Werner Kuich: Modern Automata Theory, Section 1.2 up to page 13, and Chapter 2. This electronic book can be downloaded from dmg.tuwien.ac.at/kuich. Available by request also in Russian.
- Místo konání
- FIT ČVUT, Thákurova 9, T9:111
- Kontaktní osoba
- Veronika Dvořáková, veronika.dvorakova@fitcvut.cz
- Podrobnější informace
- http://fit.cvut.cz/aktualne/jednorazove-akce/2016-03-18