Эффективный перевод естественных языков очень близок к требованию разумной программы переводчика.