TY - RPRT TI - On the Average Complexity of Moore's State Minimization Algorithm AU - Frédérique Bassino AU - Julien David AU - Cyril Nicaud PY - 2009 UR - https://arxiv.org/abs/0902.1048 ID - 0902.1048 ER -