Weighted ω – Pushdown Automata

The lecture is cancelled due to the illness. The Weighted ω – Pushdown Automata lecture takes place on Oct. 30 at 13:00. Professor Werner Kuich from Wien will introduce you to weighted omega – pushdown automata theory and work in progress about reset pushdown automata. The talk is held in English in the room TH:A-1455.

Topic

We introduce the model of weighted pushdown automaton defined by its transition matrix and show that weighted pushdown automata and algebraic systems over semirings are, by the well known triple construction, mechanisms of equal power.

Then we change this model to weighted ω – pushdown automata by introducing a Büchi acceptance condition. Again, weighted omega – pushdown automata and algebraic systems over semirings are, by a triple pair construction, mechanisms of equal power.

Then we report on work in progress about reset pushdown automata.

About the Event

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

Event type
Lecture
Lecturer
Prof. Werner Kuich—Technische Universität Wien
Date
Cancelled due to the illness. October 30, 2019, 13:00–17:00
Place
Conference room TH:A-1455, Building A
Thákurova 7, Prague 6
Language
English
Video
It is not going to be recorded

About the 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 organiser 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

People
Lecturer: Prof. Werner Kuich
Places
TH:A-1455
Person responsible for the content of this page
prof. Ing. Jan Holub, Ph.D., jan.holub@fit.cvut.czLecture Organiser


Last modified: 29.10.2019, 14:34