Lecture: |
Algebraic Systems |

Lecturer: |
Werner Kuich, Technische Universität Wien |

Date and time: |
18^{th} 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 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).

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.

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.

Last modified: 26.2.2016, 16:53