REAL

Tree generating context-free grammars and regular tree grammars are equivalent

Kószó, Dávid (2022) Tree generating context-free grammars and regular tree grammars are equivalent. Annales Mathematicae et Informaticae, 56. pp. 58-70. ISSN 17876117

[img]
Preview
Text
AMI_56_from58to70.pdf - Published Version

Download (549kB) | Preview

Abstract

We show that it is decidable whether the language generated by a given context-free grammar over a tree alphabet is a tree language. Furthermore, if the answer to this question is “yes”, then we can even effectively construct a regular tree grammar which generates that tree language.

Item Type: Article
Uncontrolled Keywords: context-free grammar, regular tree grammar, tree language, parenthesis grammar, tree generating context-free grammar, decidability
Subjects: Q Science / természettudomány > QA Mathematics / matematika
Depositing User: Tibor Gál
Date Deposited: 09 Jan 2023 09:37
Last Modified: 09 Jan 2023 09:37
URI: http://real.mtak.hu/id/eprint/156201

Actions (login required)

Edit Item Edit Item