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.
| 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.