Computing with Finite Automata 290N: The Unknown Component Problem Lecture 9.
Efficient Solution of Language Equations Using Partitioned Representations Alan Mishchenko UC Berkeley, US Robert Brayton UC Berkeley, US Roland Jiang.
Efficient Solution of Language Equations Using Partitioned Representations