Does o-Substitution Preserve Recognizability? View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2006

AUTHORS

Andreas Maletti

ABSTRACT

Substitution operations on tree series are at the basis of systems of equations (over tree series) and tree series transducers. Tree series transducers seem to be an interesting transformation device in syntactic pattern matching. In this contribution, it is shown that o-substitution preserves recognizable tree series provided that the target tree series is linear and the semiring is idempotent, commutative, and continuous. This result is applied to prove that the range of the o-t-ts transformation computed by a linear recognizable tree series transducer is pointwise recognizable. More... »

PAGES

150-161

Book

TITLE

Implementation and Application of Automata

ISBN

978-3-540-37213-4
978-3-540-37214-1

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11812128_15

DOI

http://dx.doi.org/10.1007/11812128_15

DIMENSIONS

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


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/06", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Biological Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0607", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Plant Biology", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Technische Universit\u00e4t Dresden, 01062, Dresden, Germany", 
          "id": "http://www.grid.ac/institutes/grid.4488.0", 
          "name": [
            "Department of Computer Science, Technische Universit\u00e4t Dresden, 01062, Dresden, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Maletti", 
        "givenName": "Andreas", 
        "id": "sg:person.016645332751.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016645332751.01"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2006", 
    "datePublishedReg": "2006-01-01", 
    "description": "Substitution operations on tree series are at the basis of systems of equations (over tree series) and tree series transducers. Tree series transducers seem to be an interesting transformation device in syntactic pattern matching. In this contribution, it is shown that o-substitution preserves recognizable tree series provided that the target tree series is linear and the semiring is idempotent, commutative, and continuous. This result is applied to prove that the range of the o-t-ts transformation computed by a linear recognizable tree series transducer is pointwise recognizable.", 
    "editor": [
      {
        "familyName": "Ibarra", 
        "givenName": "Oscar H.", 
        "type": "Person"
      }, 
      {
        "familyName": "Yen", 
        "givenName": "Hsu-Chun", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11812128_15", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-37213-4", 
        "978-3-540-37214-1"
      ], 
      "name": "Implementation and Application of Automata", 
      "type": "Book"
    }, 
    "keywords": [
      "tree series", 
      "basis of systems", 
      "recognizable tree series", 
      "substitution operation", 
      "equations", 
      "semirings", 
      "pointwise", 
      "operation", 
      "series", 
      "basis", 
      "system", 
      "transformation device", 
      "pattern matching", 
      "matching", 
      "contribution", 
      "results", 
      "transformation", 
      "recognizability", 
      "transducer", 
      "devices", 
      "range", 
      "tree series transducers", 
      "series transducers", 
      "interesting transformation device", 
      "syntactic pattern matching", 
      "substitution preserves recognizable tree series", 
      "preserves recognizable tree series", 
      "target tree series", 
      "ts transformation", 
      "linear recognizable tree series transducer", 
      "recognizable tree series transducer", 
      "Substitution Preserve Recognizability", 
      "Preserve Recognizability"
    ], 
    "name": "Does o-Substitution Preserve Recognizability?", 
    "pagination": "150-161", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1041175065"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11812128_15"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11812128_15", 
      "https://app.dimensions.ai/details/publication/pub.1041175065"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T19:00", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_415.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/11812128_15"
  }
]
 

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/11812128_15'

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/11812128_15'

Turtle is a human-readable linked data format.

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

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

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


 

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

98 TRIPLES      23 PREDICATES      59 URIs      52 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11812128_15 schema:about anzsrc-for:06
2 anzsrc-for:0607
3 schema:author N27491419a500432a9158e0a3e91afc03
4 schema:datePublished 2006
5 schema:datePublishedReg 2006-01-01
6 schema:description Substitution operations on tree series are at the basis of systems of equations (over tree series) and tree series transducers. Tree series transducers seem to be an interesting transformation device in syntactic pattern matching. In this contribution, it is shown that o-substitution preserves recognizable tree series provided that the target tree series is linear and the semiring is idempotent, commutative, and continuous. This result is applied to prove that the range of the o-t-ts transformation computed by a linear recognizable tree series transducer is pointwise recognizable.
7 schema:editor N66b336b10274414c82bb04bb8c17cc81
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nbae99b1ed22b41eb8836369c462e109e
12 schema:keywords Preserve Recognizability
13 Substitution Preserve Recognizability
14 basis
15 basis of systems
16 contribution
17 devices
18 equations
19 interesting transformation device
20 linear recognizable tree series transducer
21 matching
22 operation
23 pattern matching
24 pointwise
25 preserves recognizable tree series
26 range
27 recognizability
28 recognizable tree series
29 recognizable tree series transducer
30 results
31 semirings
32 series
33 series transducers
34 substitution operation
35 substitution preserves recognizable tree series
36 syntactic pattern matching
37 system
38 target tree series
39 transducer
40 transformation
41 transformation device
42 tree series
43 tree series transducers
44 ts transformation
45 schema:name Does o-Substitution Preserve Recognizability?
46 schema:pagination 150-161
47 schema:productId N31f793c97f324b689e3489bcc9e5bae0
48 N7181828c28a5480f87116ff5b9cb0f89
49 schema:publisher N1cc88ab51ed9483ea0bb9358085449ce
50 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041175065
51 https://doi.org/10.1007/11812128_15
52 schema:sdDatePublished 2021-11-01T19:00
53 schema:sdLicense https://scigraph.springernature.com/explorer/license/
54 schema:sdPublisher N944fdb3b0ed846aca2bc2628ed20b9bd
55 schema:url https://doi.org/10.1007/11812128_15
56 sgo:license sg:explorer/license/
57 sgo:sdDataset chapters
58 rdf:type schema:Chapter
59 N1cc88ab51ed9483ea0bb9358085449ce schema:name Springer Nature
60 rdf:type schema:Organisation
61 N27491419a500432a9158e0a3e91afc03 rdf:first sg:person.016645332751.01
62 rdf:rest rdf:nil
63 N31f793c97f324b689e3489bcc9e5bae0 schema:name dimensions_id
64 schema:value pub.1041175065
65 rdf:type schema:PropertyValue
66 N66b336b10274414c82bb04bb8c17cc81 rdf:first Nabf0e37015244b9caca40b3a5db42c4c
67 rdf:rest Nd7eeba385bb0457aabe91d09dcc2cfe9
68 N7181828c28a5480f87116ff5b9cb0f89 schema:name doi
69 schema:value 10.1007/11812128_15
70 rdf:type schema:PropertyValue
71 N944fdb3b0ed846aca2bc2628ed20b9bd schema:name Springer Nature - SN SciGraph project
72 rdf:type schema:Organization
73 Nabf0e37015244b9caca40b3a5db42c4c schema:familyName Ibarra
74 schema:givenName Oscar H.
75 rdf:type schema:Person
76 Nbae99b1ed22b41eb8836369c462e109e schema:isbn 978-3-540-37213-4
77 978-3-540-37214-1
78 schema:name Implementation and Application of Automata
79 rdf:type schema:Book
80 Nbd8f88a2f4854ab28ecffa9377b43aee schema:familyName Yen
81 schema:givenName Hsu-Chun
82 rdf:type schema:Person
83 Nd7eeba385bb0457aabe91d09dcc2cfe9 rdf:first Nbd8f88a2f4854ab28ecffa9377b43aee
84 rdf:rest rdf:nil
85 anzsrc-for:06 schema:inDefinedTermSet anzsrc-for:
86 schema:name Biological Sciences
87 rdf:type schema:DefinedTerm
88 anzsrc-for:0607 schema:inDefinedTermSet anzsrc-for:
89 schema:name Plant Biology
90 rdf:type schema:DefinedTerm
91 sg:person.016645332751.01 schema:affiliation grid-institutes:grid.4488.0
92 schema:familyName Maletti
93 schema:givenName Andreas
94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016645332751.01
95 rdf:type schema:Person
96 grid-institutes:grid.4488.0 schema:alternateName Department of Computer Science, Technische Universität Dresden, 01062, Dresden, Germany
97 schema:name Department of Computer Science, Technische Universität Dresden, 01062, Dresden, Germany
98 rdf:type schema:Organization
 




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


...