Checking in polynomial time whether or not a regular tree language is deterministic top-down

IF 0.7 4区计算机科学 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS

Information Processing Letters Pub Date : 2023-09-29 DOI:10.1016/j.ipl.2023.106449

Sebastian Maneth , Helmut Seidl

引用次数: 0

Abstract

It is well known that for a given bottom-up tree automaton it can be decided whether or not an equivalent deterministic top-down tree automaton exists. Recently it was claimed that such a decision can be carried out in polynomial time (Leupold and Maneth, FCT'2021); but their procedure and corresponding property is wrong. Here we address this mistake and present a correct property which allows to determine in polynomial time whether or not a given tree language can be recognized by a deterministic top-down tree automaton. Furthermore, our new property is stated for arbitrary deterministic bottom-up tree automata, and not only for minimal such automata (as before).

查看原文本刊更多论文

在多项式时间中检查正则树语言是否是自上而下的确定性语言

众所周知，对于给定的自下而上的树自动机，可以决定是否存在等价的确定自上而下的树自动机。最近有人声称，这样的决策可以在多项式时间内进行（Leupold和Maneth，FCT’2021）；但它们的程序和相应的性质是错误的。在这里，我们解决了这个错误，并提出了一个正确的性质，该性质允许在多项式时间内确定给定的树语言是否可以被确定性自上而下的树自动机识别。此外，我们的新性质是针对任意确定性自下而上的树自动机，而不仅仅是针对最小的这种自动机（如前所述）。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Information Processing Letters 工程技术-计算机：信息系统

CiteScore

1.80

自引率

0.00%

发文量

审稿时长

7.3 months

期刊介绍： Information Processing Letters invites submission of original research articles that focus on fundamental aspects of information processing and computing. This naturally includes work in the broadly understood field of theoretical computer science; although papers in all areas of scientific inquiry will be given consideration, provided that they describe research contributions credibly motivated by applications to computing and involve rigorous methodology. High quality experimental papers that address topics of sufficiently broad interest may also be considered. Since its inception in 1971, Information Processing Letters has served as a forum for timely dissemination of short, concise and focused research contributions. Continuing with this tradition, and to expedite the reviewing process, manuscripts are generally limited in length to nine pages when they appear in print.