xíng shì huà suàn 
nínshìfǒuzàixúnqiú:形式形式化形式化算法形式 形式化 形式化算法gèngduōjiéguǒ...