Esta definición de traductor de estados finitos también se conoce como "traductor de letras" (Roche and Schabes 1997); hay otras definiciones posible, pero todas se pueden generar partiendo de ésta.