自动树关系生成确定性自顶向下树转换器的综合
摘要：从可自动定义的二元关系，在有限树上，我们考虑合成确定的树转录器。我们考虑了规范是确定顶部向下树自动机的情况，这意味着该规范可以由一个顶部向下树自动机识别，该自动机在并行读取两个给定的树时可以同步进行。在这种情况下，我们研究可以具有有界延迟或任意延迟的树转录器。当转录器从输入树中读取一个符号但不产生输出时，就会引起延迟。我们提供了有界延迟和任意延迟的决策过程，可以得到实现规范的确定顶部向下树转录器，适用于有效输入树。与单词关系的情况类似，我们使用双人游戏来获得我们的结果。
作者：Christof L"oding (RWTH Aachen University), Sarah Winter (RWTH Aachen University)
论文ID：1408.5959
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-08-27