XSLT 1.0 是图灵完备的，因其能模拟图灵机的状态、纸带和读写头，已有公开实现；但工程上受限于递归深度、内存、性能及XPath 1.0功能缺失。
是的，XSLT 1.0 就是图灵完备的——这不是 XSLT 2.0 或 3.0 的“升级特性”，而是从 1.0 规范诞生起就具备的理论能力。误解常来自写起来太绕、跑起来太慢，而不是它“算不了”。
为什么有人觉得 XSLT 1.0 “不算完备”？
因为它的表达方式和主流语言差异太大，容易把工程限制误读为能力缺失：
- 没有
for或while，只能靠 -
i = i + 1这种语句； - XPath 1.0 没有
replace()、tokenize()、group-by，字符串切分、分组统计得靠 Muenchian 方法或嵌套substring-after()递归； - 结果树片段（RTF）不能直接用作节点集，想遍历得靠
exsl:node-set()扩展函数（非标准）或升级到 XSLT 2.0； -
position() = $n在大节点集中会强制扫描全部兄弟节点，性能差，但不等于“做不到”。
XSLT 1.0 真实能干啥？
它能模拟图灵机的三个核心组件：状态（用模板名表示）、纸带（用嵌套元素或属性编码）、读写头（用参数传递当前索引或节点位置）。已有公开实现用纯 XSLT 1.0 + XPath 1.0 模拟了 2-状态 3-符号图灵机。
典型可实现场景包括：
BJXSHOP网上购物系统 - 书店版
下载
BJXSHOP购物管理系统是一个功能完善、展示信息丰富的电子商店销售平台；针对企业与个人的网上销售系统；开放式远程商店管理；完善的订单管理、销售统计、结算系统；强力搜索引擎支持；提供网上多种在线支付方式解决方案；强大的技术应用能力和网络安全系统 BJXSHOP网上购物系统 - 书店版，它具备其他通用购物系统不同的功能，有针对图书销售而进行开发的一个电子商店销售平台，如图书ISBN，图书目录
- 递归解析任意深度的树形 XML（如菜单、组织架构）；
- 基于
generate-id()实现去重、分组聚合； - 用
- 生成 HTML 表单、静态站点、SQL 建表语句、甚至简易 DSL 解释器输出。
实际开发中更该关心什么？
别纠结“它理不理论上完备”，而要盯住真实约束：
- MSXML、libxslt 等老引擎对递归深度敏感，超过 50–100 层可能栈溢出；
- 大文件（>10MB）+ 深度嵌套模板 → 内存暴涨、转换超时；
- 用
//item替代descendant::item可能触发全树扫描，应尽量用路径定位； - 避免在
count()或following-sibling::*）； - 若需正则、JSON、日期计算等，XSLT 1.0 做不到“优雅”，建议提前用外部工具预处理，或换 XSLT 2.0+。
真正卡住项目的，从来不是“XSLT 能不能算”，而是“你写的模板会不会让 xsltproc 跑满 8 分钟后 OOM”。图灵完备性保证的是下限——它能算；而工程实践决定的是上线那一刻你敢不敢把它放进生产流水线。
