La clase de relaciones computadas por un transductor de estados finitos se conoce como una clase de relaciones racionales.