本文研究了一元量子有限自动机的两种不同模型：一种称为一次测量的量子有限自动机，另一种称为多次测量的量子有限自动机。针对一次测量的模型，我们限制其接受有界误差，证明了它可以解决自由群上的词问题。此外，我们还证明了 measure-many 自动机接受语言的几个封闭性质，并提出了一个新的必要条件。最后，我们展示了如何使用新的构造技术使分段可测试语言被 measure-many 量子有限自动机接受，同时也证明了 1 维量子有限自动机的接受能力比正则语言的能力更弱。

Mar, 1999

通过与有限转导器的关系，我们研究了变压器的序列到序列映射能力，并发现它们能够表达出令人惊讶的大类转导。我们使用 RASP 的变体作为中间表示形式，该编程语言旨在帮助人们 “像变压器一样思考”。我们将现有的布尔变体 B-RASP 扩展到序列到序列函数，并且表明它计算了一阶有理函数（如字符串旋转）。随后，我们引入两个新的扩展。B-RASP [pos] 允许在位置上进行计算（如复制字符串的前一半），并且包含所有一阶正则函数。S-RASP 添加了前缀和，它使得额外的算术运算成为可能（如字符串的平方），并且包含了所有一阶多正则函数。最后，我们展示了掩码平均硬注意力变压器可以模拟 S-RASP。我们结果的一个推论是变压器解码器是图灵完备的的新证明。

Apr, 2024

使用设计成类似于机器翻译等实际转换问题的合成语法，我们探索了深度循环神经网络的表达能力并提出了新的基于记忆的循环网络，实现了传统数据结构（如堆栈、队列和双端队列）的连续可微分模拟。我们证明，这些架构表现出卓越的泛化性能（generalisation performance）并且通常能够学习到生成算法。

Jun, 2015

本文研究了线性时间逻辑（LTL）合成工具生成的转换器类型的影响。研究发现，对于模型检查过程，非终止性转换器相较于终止性转换器的复杂度呈指数级增长，因此在 LTL 合成中应该优先选择终止性转换器。

May, 2023

我们使用转移半群建立一种有限状态自动机的即时确定化的抽象，并展示了如何应用它来界定渐近性。我们呈现了足够导致确定自动机的多项式状态复杂性的代数和组合特性。我们发现的一个特例是，具有许多非确定性转换的自动机几乎总是适用于多项式复杂性的确定化。此外，我们将我们的思想扩展到加权有限状态自动机。

Aug, 2023

我们提出了基于自动机的复杂事件识别系统，通过 Symbolic Register Transducers 实现模式检测，提供声明性和组合性语义，并比较我们的系统与其他先进的 CER 系统，表明其更具表达能力和效率。

Jul, 2024

提出一般模型理论语义学来处理重写，利用预排序代数模型理论来处理具有不同排序的代数。在这个框架下，将重写在任意代数上进行特征化，使用该结果证明了基于非确定性编程的 Maude 和 CafeOBJ 的抽象计算模型的声音和完整性，并在 pushout-based 模块化技术的上下文中为代数重写开发了组成性结果。

Apr, 2022

介绍了一种用于处理非连贯现象的有限状态转换器的新技术，通过将正则表达式编译器重新应用到其自身的输出来实现，该算法称为编译替换， 并在马来语全干重复和阿拉伯语干部分插入上进行了演示。

Jun, 2000

本研究重新审视了 Safra 关于无限词汇自动机确定性构造的技术，并通过减少状态数和引入奇偶数接受条件等方法，提出了新的构造方式。通过使用我们构造出的更小的确定性自动机，可以降低关于树自动机、CTL * 可满足性、逻辑规范的实现和综合等领域的上限，并且能够使用更高效的算法。

May, 2007

从输入输出示例中综合字符串转换程序，利用各种技术，基于归纳偏差，包含一组受限基本运算符进行组合。提出了一种新算法 Transduce，基于抽象转导语法及其概括。我们通过实验证明，Transduce 可以在没有归纳偏差的情况下有效地学习位置转换，成功率高于当前最先进技术。

Dec, 2023