let str = readline().replace('{','(').replace('}',')').replace('[','(').replace(']',')').split(' ').join(''); // console.log(str) // 中缀表达式转后缀表达式 function convert(str){ // 存储输出表达式 let output = []; //存储符号 let stack = []; for (let i ...