From diagnosis of active systems to incremental determinization of finite acyclic automata