CTU Events
| Today | ||||||
|---|---|---|---|---|---|---|
| « | March 2016 | » | ||||
| Mo | Tu | We | Th | Fr | Sa | Su |
| 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 Mar 2016 14:00
Contents:
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).
Preliminary knowledge:
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.
Textbook:
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.
- Place
- FIT ČVUT, Thákurova 9, T9:111
- Contact person
- Veronika Dvořáková, veronika.dvorakova@fitcvut.cz
- More information
- http://fit.cvut.cz/en/events/special-lectures/2016-03-18