Janitha Awedige will discuss the paper
“Inference Rules for Probability Logic” by Marija Boricic.
Analyzing walks with combinatorics and automata theory
The enumeration theorem by Chomsky and Schützenberger revealed
a significant intersection between the theory of automata and
enumerative combinatorics. Since then, much progress has been made in
both fields. However, their intersection remains unchanged in the sense
that no further enumeration theorem emerged beyond that of
Chomsky-Schützenberger. We survey the literature in both fields and
picture what it would look like to expand the intersection between them.