On one-pass term rewriting

Fülöp Zoltán; Jurvanen Eija; Steinby Magnus; Vágvölgyi Sándor: On one-pass term rewriting. In: Acta cybernetica, (14) 1. pp. 83-98. (1999)

Előnézet

Cikk, tanulmány, mű cybernetica_014_numb_001_083-098.pdf Letöltés (950kB) | Előnézet

Absztrakt (kivonat)

Two restricted ways to apply a term rewriting system (TRS) to a tree are considered. When the one-pass root-started, strategy is followed, rewriting starts from the root and continues stepwise towards the leaves without ever rewriting a paxt of the current tree produced in a previous rewrite step. Onepass leaf-started, rewriting is defined similarly, but rewriting begins from the leaves. In the sentential form inclusion problem one asks whether all trees which can be obtained with a given TRS from the trees of some regular tree language T belong to another given regular tree language U, and in the normal form inclusion problem the same question is asked about the normal forms of T. We show that for a left-linear TRS these problems can be decided for both of our one-pass strategies. In all four cases the decision algorithm involves the construction of a suitable tree recognizer.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	1999
Kötet:	14
Szám:	1
ISSN:	0324-721X
Oldalak:	pp. 83-98
Nyelv:	angol
Kiadás helye:	Szeged
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38507/
Kulcsszavak:	Számítástechnika, Kibernetika
Megjegyzések:	Bibliogr.: p. 97-98. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:26
Utolsó módosítás:	2022. jún. 14. 08:38
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12611

Bővebben:

Tétel nézet