Example-based machine translation based on tree-string correspondence and statistical generation