A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1999-12

AUTHORS

Z. Fülöp, H. Vogler

ABSTRACT

. We present a characterization of the class of tree transformations computed by (noncircular) attributed tree transducers, in terms of a subclass of macro tree transducers, called attributed-like macro tree transducers. In fact, we prove formally that attributed tree transducers and attributed-like macro tree transducers generate the same class of tree transformations. Moreover, we prove that it is decidable whether a macro tree transducer is attributed-like. More... »

PAGES

649-676

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s002240000135

DOI

http://dx.doi.org/10.1007/s002240000135

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1052704356


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0102", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Applied Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0805", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Distributed Computing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, J\u00f3sef Attila University,   \u00c1rp\u00e1d t\u00e9r 2., H-6720 Szeged, Hungary   fulop@inf.u-szeged.hu, HU", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Department of Computer Science, J\u00f3sef Attila University,   \u00c1rp\u00e1d t\u00e9r 2., H-6720 Szeged, Hungary   fulop@inf.u-szeged.hu, HU"
          ], 
          "type": "Organization"
        }, 
        "familyName": "F\u00fcl\u00f6p", 
        "givenName": "Z.", 
        "id": "sg:person.014007607055.43", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014007607055.43"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Technical University of Dresden,   D-01062 Dresden, Germany   vogler@inf.tu-dresden.de, DE", 
          "id": "http://www.grid.ac/institutes/grid.4488.0", 
          "name": [
            "Department of Computer Science, Technical University of Dresden,   D-01062 Dresden, Germany   vogler@inf.tu-dresden.de, DE"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Vogler", 
        "givenName": "H.", 
        "id": "sg:person.014562633673.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014562633673.93"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1999-12", 
    "datePublishedReg": "1999-12-01", 
    "description": "Abstract.  We present a characterization of the class of tree transformations computed by (noncircular) attributed tree transducers, in terms of a subclass of macro tree transducers, called attributed-like macro tree transducers. In fact, we prove formally that attributed tree transducers and attributed-like macro tree transducers generate the same class of tree transformations. Moreover, we prove that it is decidable whether a macro tree transducer is attributed-like.", 
    "genre": "article", 
    "id": "sg:pub.10.1007/s002240000135", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1052098", 
        "issn": [
          "1432-4350", 
          "1433-0490"
        ], 
        "name": "Theory of Computing Systems", 
        "publisher": "Springer Nature", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "6", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "32"
      }
    ], 
    "keywords": [
      "subclasses", 
      "transducer", 
      "characterization", 
      "class", 
      "same class", 
      "fact", 
      "terms", 
      "transformation", 
      "tree transformations", 
      "tree transducers", 
      "macro tree transducers"
    ], 
    "name": "A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers", 
    "pagination": "649-676", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1052704356"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s002240000135"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s002240000135", 
      "https://app.dimensions.ai/details/publication/pub.1052704356"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2022-05-20T07:21", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/article/article_343.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://doi.org/10.1007/s002240000135"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s002240000135'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s002240000135'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s002240000135'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s002240000135'


 

This table displays all metadata directly associated to this object as RDF triples.

91 TRIPLES      21 PREDICATES      40 URIs      29 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s002240000135 schema:about anzsrc-for:01
2 anzsrc-for:0102
3 anzsrc-for:08
4 anzsrc-for:0802
5 anzsrc-for:0805
6 schema:author Nea194e8cc8ca4029a3b776e735f77530
7 schema:datePublished 1999-12
8 schema:datePublishedReg 1999-12-01
9 schema:description Abstract. We present a characterization of the class of tree transformations computed by (noncircular) attributed tree transducers, in terms of a subclass of macro tree transducers, called attributed-like macro tree transducers. In fact, we prove formally that attributed tree transducers and attributed-like macro tree transducers generate the same class of tree transformations. Moreover, we prove that it is decidable whether a macro tree transducer is attributed-like.
10 schema:genre article
11 schema:inLanguage en
12 schema:isAccessibleForFree false
13 schema:isPartOf N2625008a9a414f25a227b402f0625ae5
14 N2fa68c1fa20641e5bc5c18ba3422efbd
15 sg:journal.1052098
16 schema:keywords characterization
17 class
18 fact
19 macro tree transducers
20 same class
21 subclasses
22 terms
23 transducer
24 transformation
25 tree transducers
26 tree transformations
27 schema:name A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers
28 schema:pagination 649-676
29 schema:productId N3c49e634cd9344ce88bdd280e4677864
30 Ndabe7775f68546bbb249ca4f30764bf6
31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052704356
32 https://doi.org/10.1007/s002240000135
33 schema:sdDatePublished 2022-05-20T07:21
34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
35 schema:sdPublisher N0c68790701704b878f6b562aa9a3d1c7
36 schema:url https://doi.org/10.1007/s002240000135
37 sgo:license sg:explorer/license/
38 sgo:sdDataset articles
39 rdf:type schema:ScholarlyArticle
40 N0c68790701704b878f6b562aa9a3d1c7 schema:name Springer Nature - SN SciGraph project
41 rdf:type schema:Organization
42 N208b68da3ae14a67a6c2fbdb1bfd3ba0 rdf:first sg:person.014562633673.93
43 rdf:rest rdf:nil
44 N2625008a9a414f25a227b402f0625ae5 schema:volumeNumber 32
45 rdf:type schema:PublicationVolume
46 N2fa68c1fa20641e5bc5c18ba3422efbd schema:issueNumber 6
47 rdf:type schema:PublicationIssue
48 N3c49e634cd9344ce88bdd280e4677864 schema:name dimensions_id
49 schema:value pub.1052704356
50 rdf:type schema:PropertyValue
51 Ndabe7775f68546bbb249ca4f30764bf6 schema:name doi
52 schema:value 10.1007/s002240000135
53 rdf:type schema:PropertyValue
54 Nea194e8cc8ca4029a3b776e735f77530 rdf:first sg:person.014007607055.43
55 rdf:rest N208b68da3ae14a67a6c2fbdb1bfd3ba0
56 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
57 schema:name Mathematical Sciences
58 rdf:type schema:DefinedTerm
59 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
60 schema:name Applied Mathematics
61 rdf:type schema:DefinedTerm
62 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
63 schema:name Information and Computing Sciences
64 rdf:type schema:DefinedTerm
65 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
66 schema:name Computation Theory and Mathematics
67 rdf:type schema:DefinedTerm
68 anzsrc-for:0805 schema:inDefinedTermSet anzsrc-for:
69 schema:name Distributed Computing
70 rdf:type schema:DefinedTerm
71 sg:journal.1052098 schema:issn 1432-4350
72 1433-0490
73 schema:name Theory of Computing Systems
74 schema:publisher Springer Nature
75 rdf:type schema:Periodical
76 sg:person.014007607055.43 schema:affiliation grid-institutes:None
77 schema:familyName Fülöp
78 schema:givenName Z.
79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014007607055.43
80 rdf:type schema:Person
81 sg:person.014562633673.93 schema:affiliation grid-institutes:grid.4488.0
82 schema:familyName Vogler
83 schema:givenName H.
84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014562633673.93
85 rdf:type schema:Person
86 grid-institutes:None schema:alternateName Department of Computer Science, Jósef Attila University, Árpád tér 2., H-6720 Szeged, Hungary fulop@inf.u-szeged.hu, HU
87 schema:name Department of Computer Science, Jósef Attila University, Árpád tér 2., H-6720 Szeged, Hungary fulop@inf.u-szeged.hu, HU
88 rdf:type schema:Organization
89 grid-institutes:grid.4488.0 schema:alternateName Department of Computer Science, Technical University of Dresden, D-01062 Dresden, Germany vogler@inf.tu-dresden.de, DE
90 schema:name Department of Computer Science, Technical University of Dresden, D-01062 Dresden, Germany vogler@inf.tu-dresden.de, DE
91 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...