2016-07-21
AUTHORS ABSTRACTWe 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... »
PAGES203-215
Developments in Language Theory
ISBN
978-3-662-53131-0
978-3-662-53132-7
http://scigraph.springernature.com/pub.10.1007/978-3-662-53132-7_17
DOIhttp://dx.doi.org/10.1007/978-3-662-53132-7_17
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1024643846
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
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