TY - RPRT TI - Testing the Equivalence of Regular Languages AU - Marco Almeida AU - Nelma Moreira AU - Rogério Reis PY - 2009 DO - 10.4204/eptcs.3.4 UR - https://arxiv.org/abs/0907.5058 ID - 0907.5058 ER -