[Zurück]

W. Kuich:
"Algebraic Systems";
Vortrag: Special Lecture at the Faculty of Information Technology, Czech Technical University in Prague (eingeladen); 18.03.2016.

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.