Weighted Symbolic Automata with Data Storage View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2016-07-21

AUTHORS

Luisa Herrmann , Heiko Vogler

ABSTRACT

We introduce weighted symbolic automata with data storage, which combine and generalize the concepts of automata with storage types, weighted automata, and symbolic automata. By defining two particular data storages, we show that this combination is rich enough to capture symbolic visibly pushdown automata and weighted timed automata. We introduce a weighted MSO-logic and prove a Büchi-Elgot-Trakhtenbrot theorem, i.e., the new logic and the new automaton model are expressively equivalent. More... »

PAGES

203-215

Book

TITLE

Developments in Language Theory

ISBN

978-3-662-53131-0
978-3-662-53132-7

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-662-53132-7_17

DOI

http://dx.doi.org/10.1007/978-3-662-53132-7_17

DIMENSIONS

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


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/09", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0906", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Electrical and Electronic Engineering", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Faculty of Computer Science, Technische Universit\u00e4t Dresden, N\u00f6thnitzer Str. 46, 01062, Dresden, Germany", 
          "id": "http://www.grid.ac/institutes/grid.4488.0", 
          "name": [
            "Faculty of Computer Science, Technische Universit\u00e4t Dresden, N\u00f6thnitzer Str. 46, 01062, Dresden, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Herrmann", 
        "givenName": "Luisa", 
        "id": "sg:person.010752400543.10", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010752400543.10"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Faculty of Computer Science, Technische Universit\u00e4t Dresden, N\u00f6thnitzer Str. 46, 01062, Dresden, Germany", 
          "id": "http://www.grid.ac/institutes/grid.4488.0", 
          "name": [
            "Faculty of Computer Science, Technische Universit\u00e4t Dresden, N\u00f6thnitzer Str. 46, 01062, Dresden, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Vogler", 
        "givenName": "Heiko", 
        "id": "sg:person.014562633673.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014562633673.93"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2016-07-21", 
    "datePublishedReg": "2016-07-21", 
    "description": "We introduce weighted symbolic automata with data storage, which combine and generalize the concepts of automata with storage types, weighted automata, and symbolic automata. By defining two particular data storages, we show that this combination is rich enough to capture symbolic visibly pushdown automata and weighted timed automata. We introduce a weighted MSO-logic and prove a B\u00fcchi-Elgot-Trakhtenbrot theorem, i.e., the new logic and the new automaton model are expressively equivalent.", 
    "editor": [
      {
        "familyName": "Brlek", 
        "givenName": "Sre\u010dko", 
        "type": "Person"
      }, 
      {
        "familyName": "Reutenauer", 
        "givenName": "Christophe", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-662-53132-7_17", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-662-53131-0", 
        "978-3-662-53132-7"
      ], 
      "name": "Developments in Language Theory", 
      "type": "Book"
    }, 
    "keywords": [
      "symbolic automata", 
      "concept of automaton", 
      "automata", 
      "data storage", 
      "Timed Automata", 
      "MSO logic", 
      "B\u00fcchi-Elgot", 
      "Trakhtenbrot Theorem", 
      "theorem", 
      "automata model", 
      "model", 
      "concept", 
      "storage types", 
      "types", 
      "combination", 
      "new logic", 
      "logic", 
      "storage", 
      "new automaton model"
    ], 
    "name": "Weighted Symbolic Automata with Data Storage", 
    "pagination": "203-215", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1024643846"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-662-53132-7_17"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-662-53132-7_17", 
      "https://app.dimensions.ai/details/publication/pub.1024643846"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:48", 
    "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/chapter/chapter_460.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-662-53132-7_17"
  }
]
 

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-662-53132-7_17'

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-662-53132-7_17'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-53132-7_17'

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-662-53132-7_17'


 

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

91 TRIPLES      23 PREDICATES      44 URIs      37 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-662-53132-7_17 schema:about anzsrc-for:09
2 anzsrc-for:0906
3 schema:author N621f7e3974194fc3968fcd0c9f56449d
4 schema:datePublished 2016-07-21
5 schema:datePublishedReg 2016-07-21
6 schema:description We introduce weighted symbolic automata with data storage, which combine and generalize the concepts of automata with storage types, weighted automata, and symbolic automata. By defining two particular data storages, we show that this combination is rich enough to capture symbolic visibly pushdown automata and weighted timed automata. We introduce a weighted MSO-logic and prove a Büchi-Elgot-Trakhtenbrot theorem, i.e., the new logic and the new automaton model are expressively equivalent.
7 schema:editor N2b988b937054448998c3df618768e3aa
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Naa5f971b06d549638adfa2abc7cc69fc
12 schema:keywords Büchi-Elgot
13 MSO logic
14 Timed Automata
15 Trakhtenbrot Theorem
16 automata
17 automata model
18 combination
19 concept
20 concept of automaton
21 data storage
22 logic
23 model
24 new automaton model
25 new logic
26 storage
27 storage types
28 symbolic automata
29 theorem
30 types
31 schema:name Weighted Symbolic Automata with Data Storage
32 schema:pagination 203-215
33 schema:productId N493080ca26f74ba59cbed013c101120e
34 N62b0c6bc108444cebef3d4e0b95fffb4
35 schema:publisher N2d02617ed038417688c51ec07a4f2270
36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024643846
37 https://doi.org/10.1007/978-3-662-53132-7_17
38 schema:sdDatePublished 2022-05-20T07:48
39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
40 schema:sdPublisher Nde3e0c20d67e4b84b26d1468f8d4c2d0
41 schema:url https://doi.org/10.1007/978-3-662-53132-7_17
42 sgo:license sg:explorer/license/
43 sgo:sdDataset chapters
44 rdf:type schema:Chapter
45 N2b988b937054448998c3df618768e3aa rdf:first N660b9092cf97471e9c488cb5fb72fcdb
46 rdf:rest N459edf81fbc94bc98fb92d96ada7b285
47 N2d02617ed038417688c51ec07a4f2270 schema:name Springer Nature
48 rdf:type schema:Organisation
49 N459edf81fbc94bc98fb92d96ada7b285 rdf:first Na5c4d81dc76f4bbc917d15a4c3ae60a9
50 rdf:rest rdf:nil
51 N493080ca26f74ba59cbed013c101120e schema:name doi
52 schema:value 10.1007/978-3-662-53132-7_17
53 rdf:type schema:PropertyValue
54 N621f7e3974194fc3968fcd0c9f56449d rdf:first sg:person.010752400543.10
55 rdf:rest N6dc0f2c16a5e4a1f854fefc02045961d
56 N62b0c6bc108444cebef3d4e0b95fffb4 schema:name dimensions_id
57 schema:value pub.1024643846
58 rdf:type schema:PropertyValue
59 N660b9092cf97471e9c488cb5fb72fcdb schema:familyName Brlek
60 schema:givenName Srečko
61 rdf:type schema:Person
62 N6dc0f2c16a5e4a1f854fefc02045961d rdf:first sg:person.014562633673.93
63 rdf:rest rdf:nil
64 Na5c4d81dc76f4bbc917d15a4c3ae60a9 schema:familyName Reutenauer
65 schema:givenName Christophe
66 rdf:type schema:Person
67 Naa5f971b06d549638adfa2abc7cc69fc schema:isbn 978-3-662-53131-0
68 978-3-662-53132-7
69 schema:name Developments in Language Theory
70 rdf:type schema:Book
71 Nde3e0c20d67e4b84b26d1468f8d4c2d0 schema:name Springer Nature - SN SciGraph project
72 rdf:type schema:Organization
73 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
74 schema:name Engineering
75 rdf:type schema:DefinedTerm
76 anzsrc-for:0906 schema:inDefinedTermSet anzsrc-for:
77 schema:name Electrical and Electronic Engineering
78 rdf:type schema:DefinedTerm
79 sg:person.010752400543.10 schema:affiliation grid-institutes:grid.4488.0
80 schema:familyName Herrmann
81 schema:givenName Luisa
82 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010752400543.10
83 rdf:type schema:Person
84 sg:person.014562633673.93 schema:affiliation grid-institutes:grid.4488.0
85 schema:familyName Vogler
86 schema:givenName Heiko
87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014562633673.93
88 rdf:type schema:Person
89 grid-institutes:grid.4488.0 schema:alternateName Faculty of Computer Science, Technische Universität Dresden, Nöthnitzer Str. 46, 01062, Dresden, Germany
90 schema:name Faculty of Computer Science, Technische Universität Dresden, Nöthnitzer Str. 46, 01062, Dresden, Germany
91 rdf:type schema:Organization
 




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


...