Semirings, Automata, Languages View Full Text


Ontology type: schema:Book     


Book Info

DATE

1986

GENRE

Monograph

AUTHORS

Werner Kuich , Arto Salomaa

PUBLISHER

Springer Nature

ABSTRACT

Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science. Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed and diversified body of knowledge that even an exposition of "reasonably important" results is not possible within one volume. The purpose of this book is to develop the theory of automata and formal languages, starting from ideas based on linear algebra. By what was said above, it should be obvious that we do not intend to be encyclopedic. However, this book contains the basics of regular and context-free languages (including some new results), as well as a rather complete theory of pushdown automata and variations (e. g. counter automata). The wellknown AFL theory is extended to power series ("AFP theory"). Additional new results include, for instance, a grammatical characterization of the cones and the principal cones of context-free languages, as well as new decidability results. More... »

Identifiers

URI

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

DOI

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

ISBN

978-3-642-69961-0 | 978-3-642-69959-7

DIMENSIONS

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


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/20", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Language, Communication and Culture", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2004", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Linguistics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institut f\u00fcr Algebra und Diskrete Mathematik Abteilung Theoretische Informatik, Technische Universit\u00e4t Wien, Wiedner Hauptstra\u00dfe 8\u201310, 1040, Wien, Austria", 
          "id": "http://www.grid.ac/institutes/grid.5329.d", 
          "name": [
            "Institut f\u00fcr Algebra und Diskrete Mathematik Abteilung Theoretische Informatik, Technische Universit\u00e4t Wien, Wiedner Hauptstra\u00dfe 8\u201310, 1040, Wien, Austria"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kuich", 
        "givenName": "Werner", 
        "id": "sg:person.016371205773.06", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016371205773.06"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Mathematics, University of Turku, 20 500, Turku, Finland", 
          "id": "http://www.grid.ac/institutes/grid.1374.1", 
          "name": [
            "Department of Mathematics, University of Turku, 20 500, Turku, Finland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Salomaa", 
        "givenName": "Arto", 
        "id": "sg:person.07416013515.38", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07416013515.38"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1986", 
    "datePublishedReg": "1986-01-01", 
    "description": "Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science. Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed and diversified body of knowledge that even an exposition of \"reasonably important\" results is not possible within one volume. The purpose of this book is to develop the theory of automata and formal languages, starting from ideas based on linear algebra. By what was said above, it should be obvious that we do not intend to be encyclopedic. However, this book contains the basics of regular and context-free languages (including some new results), as well as a rather complete theory of pushdown automata and variations (e. g. counter automata). The wellknown AFL theory is extended to power series (\"AFP theory\"). Additional new results include, for instance, a grammatical characterization of the cones and the principal cones of context-free languages, as well as new decidability results.", 
    "genre": "monograph", 
    "id": "sg:pub.10.1007/978-3-642-69959-7", 
    "isAccessibleForFree": false, 
    "isbn": [
      "978-3-642-69961-0", 
      "978-3-642-69959-7"
    ], 
    "keywords": [
      "context-free languages", 
      "formal language", 
      "language", 
      "grammatical characterization", 
      "monograph series", 
      "theory of automata", 
      "subject matter", 
      "automata theory", 
      "pushdown automata", 
      "book", 
      "body of knowledge", 
      "decidability results", 
      "theory", 
      "related theories", 
      "disciplines", 
      "computer science", 
      "idea", 
      "new decidability results", 
      "automata", 
      "exposition", 
      "theoretical computer science", 
      "science", 
      "knowledge", 
      "instances", 
      "body", 
      "matter", 
      "basics", 
      "purpose", 
      "complete theory", 
      "series", 
      "semirings", 
      "volume", 
      "results", 
      "variation", 
      "power series", 
      "new results", 
      "algebra", 
      "linear algebra", 
      "additional new results", 
      "characterization", 
      "cone", 
      "principal cone"
    ], 
    "name": "Semirings, Automata, Languages", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1017490034"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-69959-7"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-69959-7", 
      "https://app.dimensions.ai/details/publication/pub.1017490034"
    ], 
    "sdDataset": "books", 
    "sdDatePublished": "2022-12-01T06:45", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20221201/entities/gbq_results/book/book_26.jsonl", 
    "type": "Book", 
    "url": "https://doi.org/10.1007/978-3-642-69959-7"
  }
]
 

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-69959-7'

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-69959-7'

Turtle is a human-readable linked data format.

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

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-69959-7'


 

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

101 TRIPLES      20 PREDICATES      66 URIs      59 LITERALS      5 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-69959-7 schema:about anzsrc-for:20
2 anzsrc-for:2004
3 schema:author Neb14152c460d45c39f832682da6bfb1b
4 schema:datePublished 1986
5 schema:datePublishedReg 1986-01-01
6 schema:description Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science. Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed and diversified body of knowledge that even an exposition of "reasonably important" results is not possible within one volume. The purpose of this book is to develop the theory of automata and formal languages, starting from ideas based on linear algebra. By what was said above, it should be obvious that we do not intend to be encyclopedic. However, this book contains the basics of regular and context-free languages (including some new results), as well as a rather complete theory of pushdown automata and variations (e. g. counter automata). The wellknown AFL theory is extended to power series ("AFP theory"). Additional new results include, for instance, a grammatical characterization of the cones and the principal cones of context-free languages, as well as new decidability results.
7 schema:genre monograph
8 schema:isAccessibleForFree false
9 schema:isbn 978-3-642-69959-7
10 978-3-642-69961-0
11 schema:keywords additional new results
12 algebra
13 automata
14 automata theory
15 basics
16 body
17 body of knowledge
18 book
19 characterization
20 complete theory
21 computer science
22 cone
23 context-free languages
24 decidability results
25 disciplines
26 exposition
27 formal language
28 grammatical characterization
29 idea
30 instances
31 knowledge
32 language
33 linear algebra
34 matter
35 monograph series
36 new decidability results
37 new results
38 power series
39 principal cone
40 purpose
41 pushdown automata
42 related theories
43 results
44 science
45 semirings
46 series
47 subject matter
48 theoretical computer science
49 theory
50 theory of automata
51 variation
52 volume
53 schema:name Semirings, Automata, Languages
54 schema:productId Naba1dcb612314769ac2ee32903d990e1
55 Nda3a525593784bf69beb4e94f62c29bd
56 schema:publisher Nf82b4931e73a411b874fbe3c7b1b8dac
57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017490034
58 https://doi.org/10.1007/978-3-642-69959-7
59 schema:sdDatePublished 2022-12-01T06:45
60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
61 schema:sdPublisher Na1870059a10a418da2d1becba1b7ed23
62 schema:url https://doi.org/10.1007/978-3-642-69959-7
63 sgo:license sg:explorer/license/
64 sgo:sdDataset books
65 rdf:type schema:Book
66 N6be1d2b8997f416f9e6279f1ed4a2457 rdf:first sg:person.07416013515.38
67 rdf:rest rdf:nil
68 Na1870059a10a418da2d1becba1b7ed23 schema:name Springer Nature - SN SciGraph project
69 rdf:type schema:Organization
70 Naba1dcb612314769ac2ee32903d990e1 schema:name dimensions_id
71 schema:value pub.1017490034
72 rdf:type schema:PropertyValue
73 Nda3a525593784bf69beb4e94f62c29bd schema:name doi
74 schema:value 10.1007/978-3-642-69959-7
75 rdf:type schema:PropertyValue
76 Neb14152c460d45c39f832682da6bfb1b rdf:first sg:person.016371205773.06
77 rdf:rest N6be1d2b8997f416f9e6279f1ed4a2457
78 Nf82b4931e73a411b874fbe3c7b1b8dac schema:name Springer Nature
79 rdf:type schema:Organisation
80 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
81 schema:name Language, Communication and Culture
82 rdf:type schema:DefinedTerm
83 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
84 schema:name Linguistics
85 rdf:type schema:DefinedTerm
86 sg:person.016371205773.06 schema:affiliation grid-institutes:grid.5329.d
87 schema:familyName Kuich
88 schema:givenName Werner
89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016371205773.06
90 rdf:type schema:Person
91 sg:person.07416013515.38 schema:affiliation grid-institutes:grid.1374.1
92 schema:familyName Salomaa
93 schema:givenName Arto
94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07416013515.38
95 rdf:type schema:Person
96 grid-institutes:grid.1374.1 schema:alternateName Department of Mathematics, University of Turku, 20 500, Turku, Finland
97 schema:name Department of Mathematics, University of Turku, 20 500, Turku, Finland
98 rdf:type schema:Organization
99 grid-institutes:grid.5329.d schema:alternateName Institut für Algebra und Diskrete Mathematik Abteilung Theoretische Informatik, Technische Universität Wien, Wiedner Hauptstraße 8–10, 1040, Wien, Austria
100 schema:name Institut für Algebra und Diskrete Mathematik Abteilung Theoretische Informatik, Technische Universität Wien, Wiedner Hauptstraße 8–10, 1040, Wien, Austria
101 rdf:type schema:Organization
 




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


...