When is a functional tree transduction deterministic?

Helmut Seidl

doi:10.1007/3-540-56610-4_69

When is a functional tree transduction deterministic?

Helmut Seidl

Saarland University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Abstract

We give a decision procedure to determine whether or not the transduction of a functional transducer can be realized by a deterministic (resp. reduced deterministic) transducer. In case this is possible we exhibit a general construction to build this transducer.

Original language	English
Title of host publication	TAPSOFT 1993
Subtitle of host publication	Theory and Practice of Software Development - 4th International Joint Conference CAAP/FASE, Proceedings
Editors	Marie-Claude Gaudel, Jean-Pierre Jouannaud
Publisher	Springer Verlag
Pages	251-265
Number of pages	15
ISBN (Print)	9783540566106
DOIs	https://doi.org/10.1007/3-540-56610-4_69
State	Published - 1993
Externally published	Yes
Event	4th International Joint Conference on the Theory and Practice of Software Development, TAPSOFT 1993 - Orsay, France Duration: 13 Apr 1993 → 17 Apr 1993

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	668 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Joint Conference on the Theory and Practice of Software Development, TAPSOFT 1993
Country/Territory	France
City	Orsay
Period	13/04/93 → 17/04/93

Access to Document

10.1007/3-540-56610-4_69

Cite this

Seidl, H. (1993). When is a functional tree transduction deterministic? In M.-C. Gaudel, & J.-P. Jouannaud (Eds.), TAPSOFT 1993: Theory and Practice of Software Development - 4th International Joint Conference CAAP/FASE, Proceedings (pp. 251-265). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 668 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-56610-4_69

Seidl, Helmut. / When is a functional tree transduction deterministic?. TAPSOFT 1993: Theory and Practice of Software Development - 4th International Joint Conference CAAP/FASE, Proceedings. editor / Marie-Claude Gaudel ; Jean-Pierre Jouannaud. Springer Verlag, 1993. pp. 251-265 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{cb4daeea391d47a48ed2f722b8a78747,

title = "When is a functional tree transduction deterministic?",

abstract = "We give a decision procedure to determine whether or not the transduction of a functional transducer can be realized by a deterministic (resp. reduced deterministic) transducer. In case this is possible we exhibit a general construction to build this transducer.",

author = "Helmut Seidl",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; 4th International Joint Conference on the Theory and Practice of Software Development, TAPSOFT 1993 ; Conference date: 13-04-1993 Through 17-04-1993",

year = "1993",

doi = "10.1007/3-540-56610-4_69",

language = "English",

isbn = "9783540566106",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "251--265",

editor = "Marie-Claude Gaudel and Jean-Pierre Jouannaud",

booktitle = "TAPSOFT 1993",

}

Seidl, H 1993, When is a functional tree transduction deterministic? in M-C Gaudel & J-P Jouannaud (eds), TAPSOFT 1993: Theory and Practice of Software Development - 4th International Joint Conference CAAP/FASE, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 668 LNCS, Springer Verlag, pp. 251-265, 4th International Joint Conference on the Theory and Practice of Software Development, TAPSOFT 1993, Orsay, France, 13/04/93. https://doi.org/10.1007/3-540-56610-4_69

When is a functional tree transduction deterministic? / Seidl, Helmut.
TAPSOFT 1993: Theory and Practice of Software Development - 4th International Joint Conference CAAP/FASE, Proceedings. ed. / Marie-Claude Gaudel; Jean-Pierre Jouannaud. Springer Verlag, 1993. p. 251-265 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 668 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review