Algebraic Systems

Lecture:   Algebraic Systems
Lecturer:   Werner Kuich, Technische Universität Wien
Date and time: 18th March 2016, 14:00 - 17:00
Place:       FIT CTU in Prague, 9 Thákurova Street, New Building CTU, lecture room T9:111
Language: English

Share event on logo_FB Facebook#fitcvut

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.
 

Short CV:                                 

Werner Kuich was born in 1941 in Vienna. He studied mathematics and physics in University of Vienna and he received PhD degree in 1965. He also graduated courses of modern computer technologies in Vienna University of Technology. He became full professor there in 1971. He is a visiting professor in Michigan State University, USA and Immanuel Kant University, Kaliningrad, Russia. He also spent research visits in University of Calgary, Canada, Universitat Turku, Finland, and University of Szeged, Hungary. His research interests include Automata Theory, Formal Languages, Formal Power Series, Semirings, Logic in Computer Science, Matrix Theory, and Combinatorics on Words.
 
Free entrance.

 



Last modified: 26.2.2016, 16:53