Tata Institute of Fundamental Research

Minimization of weighted automaton

STCS Student Seminar
Speaker: Mohit Upmanyu (TIFR, Mumbai)
Organiser: Arghya Chakraborty
Date: Thursday, 6 Apr 2023, 18:00 to 19:00
Venue: A201

(Scan to add to calendar)
Abstract:  We will define a weighted automaton over a semiring, give examples and explain how to find a minimal weighted automaton (for certain rings like fields, integers etc.),  If time permits we will then discuss how this helps solve the problem of checking whether two weighted automata are equal or not.