Computability and complexity issues of translator generation