树机

摘要：

介绍了图灵机的一种变体，其中磁带被一棵树所取代，这棵树可以以类似于纯函数式编程的方式进行操作。这样做有两个好处：第一，磁带上的额外结构可以被利用来写出机器的显式构造，这比使用图灵机要容易得多。其次，这种新的机器精细地模拟了函数式程序设计语言的渐近复杂性，并可能允许回答诸如“函数式语言中这个问题固有地更慢”之类的问题。

英文摘要：

A variant of Turing machines is introduced where the tape is replaced by a single tree which can be manipulated in a style akin to purely functional programming. This yields two benefits: first, the extra structure on the tape can be leveraged to write explicit constructions of machines much more easily than with Turing machines. Second, this new kind of machines models finely the asymptotic complexity of functional programming languages, and may allow to answer questions such as "is this problem inherently slower in functional languages".

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。