2017-06-01: Rob Myers

Sat, 21 Oct 2023 21:24:08 +0100

Rob Myers

Optimal nondeterminism: explaining the Kameda-Weiner algorithm

Abstract

The Kameda-Weiner algorithm takes a machine (nondeterministic finite automaton) as input, and provides an optimal machine (state-minimal nondeterministic finite automaton) as output. In this talk I will discuss work which provides a clear explanation of it, by translating the various syntactic constructs into more meaningful order-theoretic ones, and then composing them together to prove correctness.

2017-06-01 14:00:00 UTC
LT1310