我需要在前端实现大型抽象语法树。考虑带有n个参数的函数符号，其中n可以是BigInt（），深度可以是BigInt（）。
将需要“本地”访问树-我将在树中查找一个位置，然后将几个符号彼此交换，尽管它们可能是不同符号的参数。我的意图是使用公理来操纵数学术语，而这样的操纵会导致巨大的变化（兆字节）。
数学语法的一个不错的特性是全局更改（例如交换表示可交换操作的二元运算符树的左右分支）很少进行“深度”更改，因此我可以使用变量来表示这些分支，这可能是存储在服务器端，直到经过检查。
不过，最终，我需要遍历整棵树以确保其格式正确，并且我需要此过程绝对准确-没有错误！
我将如何在浏览器中解决这样的问题？