{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Mathematical Sciences",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Pure Mathematics",
"type": "DefinedTerm"
}
],
"author": [
{
"familyName": "G\u00e9cseg",
"givenName": "Ferenc",
"id": "sg:person.015415647207.63",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015415647207.63"
],
"type": "Person"
},
{
"familyName": "Steinby",
"givenName": "Magnus",
"id": "sg:person.015641324125.49",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015641324125.49"
],
"type": "Person"
}
],
"datePublished": "1997",
"datePublishedReg": "1997-01-01",
"description": "The theory of tree automata and tree languages emerged in the middle of the 1960s quite naturally from the view of finite automata as unary algebras advocated by J. R. B\u00fcchi and J. B. Wright. From this perspective the generalization from strings to trees means simply that any finite algebra of finite type can be regarded as an automaton which as inputs accepts terms over the ranked alphabet formed by the operation symbols of the algebra, and these terms again can be seen as (formal representations of) labeled trees with a left-to-right ordering of the branches. Strings over a finite alphabet can then be regarded as terms over a unary ranked alphabet, and hence finite automata become special tree automata and string languages unary tree languages. The theory of tree automata and tree languages can thus be seen as an outgrowth of B\u00fcchi\u2019s and Wright\u2019s program which had as its goal a general theory that would encompass automata, universal algebra, equational logic, and formal languages. Some interesting vistas of this program and its development are opened by B\u00fcchi\u2019s posthumous book [B\u00fcc89] in which many of the ideas are traced back to people like Thue, Skolem, Post, and even Leibniz.",
"editor": [
{
"familyName": "Rozenberg",
"givenName": "Grzegorz",
"type": "Person"
},
{
"familyName": "Salomaa",
"givenName": "Arto",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-642-59126-6_1",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-642-63859-6",
"978-3-642-59126-6"
],
"name": "Handbook of Formal Languages",
"type": "Book"
},
"keywords": [
"finite algebras",
"unary algebras",
"universal algebra",
"finite automata",
"finite type",
"algebra",
"general theory",
"operation symbols",
"finite alphabet",
"right ordering",
"theory",
"equational logic",
"automata",
"strings",
"generalization",
"B\u00fcchi",
"terms",
"ordering",
"alphabet",
"Thue",
"Skolem",
"formal language",
"posthumous book",
"tree automata",
"tree languages",
"Leibniz",
"input",
"branches",
"idea",
"symbols",
"trees",
"logic",
"types",
"goal",
"view",
"program",
"Wright",
"book",
"language",
"vistas",
"perspective",
"interesting vistas",
"development",
"middle",
"people",
"post",
"outgrowth",
"special tree automata",
"string languages unary tree languages",
"languages unary tree languages",
"unary tree languages",
"Wright\u2019s program",
"B\u00fcchi\u2019s posthumous book"
],
"name": "Tree Languages",
"pagination": "1-68",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1000867424"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-642-59126-6_1"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-642-59126-6_1",
"https://app.dimensions.ai/details/publication/pub.1000867424"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-01-01T19:28",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_93.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/978-3-642-59126-6_1"
}