Modular tree automata

Patrick Bahr

doi:10.1007/978-3-642-31113-0_14

Modular tree automata

Patrick Bahr

Datalogisk Institut

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

2 Citationer (Scopus)

347 Downloads (Pure)

Abstract

Tree automata are traditionally used to study properties of tree languages and tree transformations. In this paper, we consider tree automata as the basis for modular and extensible recursion schemes. We show, using well-known techniques, how to derive from standard tree automata highly modular recursion schemes. Functions that are defined in terms of these recursion schemes can be combined, reused and transformed in many ways. This flexibility facilitates the specification of complex transformations in a concise manner, which is illustrated with a number of examples.

Originalsprog	Engelsk
Titel	Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Redaktører	Jeremy Gibbons, Pablo Nogueira
Antal sider	37
Forlag	Springer
Publikationsdato	2012
Sider	263-299
ISBN (Trykt)	978-3-642-31112-3
ISBN (Elektronisk)	978-3-642-31113-0
DOI	https://doi.org/10.1007/978-3-642-31113-0_14
Status	Udgivet - 2012
Begivenhed	11th International Conference on Mathematics of Program Construction - Madrid, Spanien Varighed: 25 jun. 2012 → 27 jun. 2012 Konferencens nummer: 11

Konference

Konference	11th International Conference on Mathematics of Program Construction
Nummer	11
Land/Område	Spanien
By	Madrid
Periode	25/06/2012 → 27/06/2012

Navn	Lecture notes in computer science
Vol/bind	7342
ISSN	0302-9743

Emneord

Det Natur- og Biovidenskabelige Fakultet

Adgang til dokumentet

10.1007/978-3-642-31113-0_14

Bahr_2012_Modular_tree_automata_postprintAccepteret manuskript, 339 KB

Citationsformater

Modular tree automata. / Bahr, Patrick.

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. red. / Jeremy Gibbons; Pablo Nogueira. Springer, 2012. s. 263-299 (Lecture notes in computer science, Bind 7342).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Bahr, P 2012, Modular tree automata. i J Gibbons & P Nogueira (red), Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Springer, Lecture notes in computer science, bind 7342, s. 263-299, 11th International Conference on Mathematics of Program Construction, Madrid, Spanien, 25/06/2012. https://doi.org/10.1007/978-3-642-31113-0_14

@inproceedings{d1c3eb64f1b2495e8bd2ee33443e1594,

title = "Modular tree automata",

abstract = "Tree automata are traditionally used to study properties of tree languages and tree transformations. In this paper, we consider tree automata as the basis for modular and extensible recursion schemes. We show, using well-known techniques, how to derive from standard tree automata highly modular recursion schemes. Functions that are defined in terms of these recursion schemes can be combined, reused and transformed in many ways. This flexibility facilitates the specification of complex transformations in a concise manner, which is illustrated with a number of examples.",

keywords = "Faculty of Science, compiler, tree transducer, deforestation, attribute grammar, syntax-directed",

author = "Patrick Bahr",

year = "2012",

doi = "10.1007/978-3-642-31113-0_14",

language = "English",

isbn = "978-3-642-31112-3",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "263--299",

editor = "Jeremy Gibbons and Pablo Nogueira",

booktitle = "Mathematics of Program Construction",

address = "Switzerland",

note = "11th International Conference on Mathematics of Program Construction, MPC 2012 ; Conference date: 25-06-2012 Through 27-06-2012",

}

TY - GEN

T1 - Modular tree automata

AU - Bahr, Patrick

N1 - Conference code: 11

PY - 2012

Y1 - 2012

N2 - Tree automata are traditionally used to study properties of tree languages and tree transformations. In this paper, we consider tree automata as the basis for modular and extensible recursion schemes. We show, using well-known techniques, how to derive from standard tree automata highly modular recursion schemes. Functions that are defined in terms of these recursion schemes can be combined, reused and transformed in many ways. This flexibility facilitates the specification of complex transformations in a concise manner, which is illustrated with a number of examples.

AB - Tree automata are traditionally used to study properties of tree languages and tree transformations. In this paper, we consider tree automata as the basis for modular and extensible recursion schemes. We show, using well-known techniques, how to derive from standard tree automata highly modular recursion schemes. Functions that are defined in terms of these recursion schemes can be combined, reused and transformed in many ways. This flexibility facilitates the specification of complex transformations in a concise manner, which is illustrated with a number of examples.

KW - Faculty of Science

KW - compiler

KW - tree transducer

KW - deforestation

KW - attribute grammar

KW - syntax-directed

U2 - 10.1007/978-3-642-31113-0_14

DO - 10.1007/978-3-642-31113-0_14

M3 - Article in proceedings

SN - 978-3-642-31112-3

T3 - Lecture notes in computer science

SP - 263

EP - 299

BT - Mathematics of Program Construction

A2 - Gibbons, Jeremy

A2 - Nogueira, Pablo

PB - Springer

T2 - 11th International Conference on Mathematics of Program Construction

Y2 - 25 June 2012 through 27 June 2012

ER -