使用通常被认为是排版语言的工具,可以做出有趣的事情。例如,您可以使用PostScript构建曼德博集合。
在这个MathOverflow问题中提到,LaTeX可能是Turing完备的。这意味着可以编写任意程序(尽管可能并不容易!)。有人知道在LaTeX中实现这种高度不寻常的语言功能的具体示例吗?
使用通常被认为是排版语言的工具,可以做出有趣的事情。例如,您可以使用PostScript构建曼德博集合。
在这个MathOverflow问题中提到,LaTeX可能是Turing完备的。这意味着可以编写任意程序(尽管可能并不容易!)。有人知道在LaTeX中实现这种高度不寻常的语言功能的具体示例吗?
在 The Monad Reader 的第 13 期中,Stephen Hicks 讲述了如何使用 TeX 实现一个 ICFP 比赛的解决方案(涉及火星车导航),并广泛使用了宏。有趣的是,当编排该解决方案时,其输出结果为火星车路径的后置地图。
\def\K#1#2{#2}
\def\S#1#2#3{#1#3{#2#3}}
pgfmath
库仍然让我感到惊奇。但更与图灵相关的是:在 TeX 中可以编写实际的图灵机,参见 http://en.literateprograms.org/Turing_machine_simulator_(LaTeX)。这只是在 TeX 中使用扩展的巧妙方式。
PostScript 也是图灵完备的。如果你阅读 手册,你会对其一般的编程能力感到惊奇(至少我是这样的)。