Weighted Finite Automata

The lecture Weighted Finite Automata will be held on Nov. 22 at 14:00. The Austrian Professor Werner Kuich will introduce you to semiring theory and definition of weighted finite automata. The lecture will be held in English in the room TH:A-1455.


The topic of the lecture is semiring theory, especially the theory of complete and Conway semirings. Furthermore, prof. Werner Kuich will present the definition of weighted finite automata and their behavior. The main point is the proof of a Kleene Theorem on weighted finite automata over Conway semirings. For a Conway semiring element and a subset A’ of this Conway semiring containing 0 and 1, the following two statements are equivalent:

  1. It is the behavior of a weighted finite automaton with weights in A’.
  2. It is contained in the substarsemiring of the Conway semiring generated by A.

About Event

The lecture is free of charge and registration is not required. The lecture is aimed at students, teachers of FIT and other faculties of CTU and professional public.

Event type
Prof. Werner Kuich – Technische Universität Wien
November 22, 2017, 14:00
Conference room TH:A-1455, Building A
Thákurova 7, Prague 6
It will not be recorded

About Lecturer

Werner Kuich - profile

Werner Kuich is an emeritus professor of mathematical logic and formal languages at the Technical University of Vienna. He was also a visiting assistant professor in the United States at Michigan State University and in Russia at Immanuel Kant University.

Professor Kuich is the organizer of the “AutoMathA Important Events” conference of the EU project of the same name. He is a member of many program committees of international conferences, a member of the Council of the European Association of Theoretical Computer Science, a member of the Finnish Academy of Sciences and Academia Europaea. He is also a member of the editorial committee of magazines “Journal of Automata, Languages, and Combinatorics” and “Vestnik Rossiyskogo Gosudarstvennogo Universiteta im. Immanuila Kanta”.

In 1963–1971 he was a scientist at the IBM laboratory. He also participated in research stays in Canada (University of Calgary), Finland (Universitat Turku) and Hungary (University of Szeged). He was a member of the Council of the European Association of Theoretical Computer Science in the period of 1988–1996.

Related Content

Lecturer: Prof. Werner Kuich
Person responsible for the content of this page
Bc. Veronika Dvořáková, veronika.dvorakova@fit.cvut.czPR officer

Last modified: 15.4.2019, 11:02