1 paper · 1 filter
Manuel Baltieri, Nathaniel Virgo
The powerset construction is the classical determinisation procedure for nondeterministic finite automata. In the coalgebraic setting, this construction has been generalised to str…