A description based on languages of the final non-deterministic automaton | Publicación