A Backward and a Forward Simulation for Weighted Tree Automata View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2009

AUTHORS

Andreas Maletti

ABSTRACT

Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two types of simulations work for wta over additively idempotent, commutative semirings and can be used to reduce the size of wta while preserving their semantics. Such reductions are an important tool in automata toolkits. More... »

PAGES

288-304

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-03564-7_19

DOI

http://dx.doi.org/10.1007/978-3-642-03564-7_19

DIMENSIONS

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


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/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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Departament de Filologies Rom\u00e0niques, Universitat Rovira i Virgili, Avinguda de Catalunya 35, 43002, Tarragona, Spain", 
          "id": "http://www.grid.ac/institutes/grid.410367.7", 
          "name": [
            "Departament de Filologies Rom\u00e0niques, Universitat Rovira i Virgili, Avinguda de Catalunya 35, 43002, Tarragona, Spain"
          ], 
          "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": "2009", 
    "datePublishedReg": "2009-01-01", 
    "description": "Two types of simulations for weighted tree automata\u00a0(wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two types of simulations work for wta over additively idempotent, commutative semirings and can be used to reduce the size of wta while preserving their semantics. Such reductions are an important tool in automata toolkits.", 
    "editor": [
      {
        "familyName": "Bozapalidis", 
        "givenName": "Symeon", 
        "type": "Person"
      }, 
      {
        "familyName": "Rahonis", 
        "givenName": "George", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-03564-7_19", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-642-03563-0", 
        "978-3-642-03564-7"
      ], 
      "name": "Algebraic Informatics", 
      "type": "Book"
    }, 
    "keywords": [
      "trees", 
      "important tool", 
      "types", 
      "WTA", 
      "such reduction", 
      "forward simulation", 
      "weight", 
      "size", 
      "tool", 
      "toolkit", 
      "reduction", 
      "simulations", 
      "types of simulations", 
      "automata", 
      "process tree", 
      "Backward", 
      "tree automata", 
      "Weighted Tree Automata", 
      "Wta process trees", 
      "semirings", 
      "commutative semirings", 
      "size of wta", 
      "semantics", 
      "automata toolkits"
    ], 
    "name": "A Backward and a Forward Simulation for Weighted Tree Automata", 
    "pagination": "288-304", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1045206987"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-03564-7_19"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-03564-7_19", 
      "https://app.dimensions.ai/details/publication/pub.1045206987"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T19:03", 
    "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_89.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-03564-7_19"
  }
]
 

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/978-3-642-03564-7_19'

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/978-3-642-03564-7_19'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-03564-7_19'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-03564-7_19'


 

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

89 TRIPLES      23 PREDICATES      50 URIs      43 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-03564-7_19 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author Nfe2f4c854eda4c269e77e3d3d95dfee9
4 schema:datePublished 2009
5 schema:datePublishedReg 2009-01-01
6 schema:description Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two types of simulations work for wta over additively idempotent, commutative semirings and can be used to reduce the size of wta while preserving their semantics. Such reductions are an important tool in automata toolkits.
7 schema:editor N48599548156b462ea1899d0eacfb7a00
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N43678e5d41b64190b42a2a63262e1fe3
12 schema:keywords Backward
13 WTA
14 Weighted Tree Automata
15 Wta process trees
16 automata
17 automata toolkits
18 commutative semirings
19 forward simulation
20 important tool
21 process tree
22 reduction
23 semantics
24 semirings
25 simulations
26 size
27 size of wta
28 such reduction
29 tool
30 toolkit
31 tree automata
32 trees
33 types
34 types of simulations
35 weight
36 schema:name A Backward and a Forward Simulation for Weighted Tree Automata
37 schema:pagination 288-304
38 schema:productId N40e4495e36464da69dae41db6e0c63c0
39 Nff6ff5575b99483da93eaa3f0f8ac560
40 schema:publisher N6a0bceaeae414ee29ddee085f9f73173
41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045206987
42 https://doi.org/10.1007/978-3-642-03564-7_19
43 schema:sdDatePublished 2021-11-01T19:03
44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
45 schema:sdPublisher Nc537034cc83841b0bdbc583c082f3d8e
46 schema:url https://doi.org/10.1007/978-3-642-03564-7_19
47 sgo:license sg:explorer/license/
48 sgo:sdDataset chapters
49 rdf:type schema:Chapter
50 N40e4495e36464da69dae41db6e0c63c0 schema:name doi
51 schema:value 10.1007/978-3-642-03564-7_19
52 rdf:type schema:PropertyValue
53 N43678e5d41b64190b42a2a63262e1fe3 schema:isbn 978-3-642-03563-0
54 978-3-642-03564-7
55 schema:name Algebraic Informatics
56 rdf:type schema:Book
57 N48599548156b462ea1899d0eacfb7a00 rdf:first Na9437ab6269f43a8878dab1408e94c19
58 rdf:rest Ncdb1a72b7bcd4a96a4c63209c73b02e3
59 N6a0bceaeae414ee29ddee085f9f73173 schema:name Springer Nature
60 rdf:type schema:Organisation
61 Na9437ab6269f43a8878dab1408e94c19 schema:familyName Bozapalidis
62 schema:givenName Symeon
63 rdf:type schema:Person
64 Nc537034cc83841b0bdbc583c082f3d8e schema:name Springer Nature - SN SciGraph project
65 rdf:type schema:Organization
66 Ncdb1a72b7bcd4a96a4c63209c73b02e3 rdf:first Nd30d48bc4c054210a36a6b53456696e6
67 rdf:rest rdf:nil
68 Nd30d48bc4c054210a36a6b53456696e6 schema:familyName Rahonis
69 schema:givenName George
70 rdf:type schema:Person
71 Nfe2f4c854eda4c269e77e3d3d95dfee9 rdf:first sg:person.016645332751.01
72 rdf:rest rdf:nil
73 Nff6ff5575b99483da93eaa3f0f8ac560 schema:name dimensions_id
74 schema:value pub.1045206987
75 rdf:type schema:PropertyValue
76 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
77 schema:name Information and Computing Sciences
78 rdf:type schema:DefinedTerm
79 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
80 schema:name Artificial Intelligence and Image Processing
81 rdf:type schema:DefinedTerm
82 sg:person.016645332751.01 schema:affiliation grid-institutes:grid.410367.7
83 schema:familyName Maletti
84 schema:givenName Andreas
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016645332751.01
86 rdf:type schema:Person
87 grid-institutes:grid.410367.7 schema:alternateName Departament de Filologies Romàniques, Universitat Rovira i Virgili, Avinguda de Catalunya 35, 43002, Tarragona, Spain
88 schema:name Departament de Filologies Romàniques, Universitat Rovira i Virgili, Avinguda de Catalunya 35, 43002, Tarragona, Spain
89 rdf:type schema:Organization
 




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


...