Theory Of Machine Translation