@prefix ns1: .
@prefix ns2: .
@prefix rdf: .
@prefix rdfs: .
@prefix xml: .
@prefix xsd: .
a ns1:Chapter ;
ns1:about ,
;
ns1:author ( ) ;
ns1:datePublished "1997" ;
ns1:datePublishedReg "1997-01-01" ;
ns1: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üchi 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üchi’s and Wright’s 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üchi’s posthumous book [Büc89] in which many of the ideas are traced back to people like Thue, Skolem, Post, and even Leibniz." ;
ns1:editor ( [ a ns1:Person ;
ns1:familyName "Rozenberg" ;
ns1:givenName "Grzegorz" ] [ a ns1:Person ;
ns1:familyName "Salomaa" ;
ns1:givenName "Arto" ] ) ;
ns1:genre "chapter" ;
ns1:inLanguage "en" ;
ns1:isAccessibleForFree false ;
ns1:isPartOf [ a ns1:Book ;
ns1:isbn "978-3-642-59126-6",
"978-3-642-63859-6" ;
ns1:name "Handbook of Formal Languages" ] ;
ns1:keywords "Büchi",
"Büchi’s posthumous book",
"Leibniz",
"Skolem",
"Thue",
"Wright",
"Wright’s program",
"algebra",
"alphabet",
"automata",
"book",
"branches",
"development",
"equational logic",
"finite algebras",
"finite alphabet",
"finite automata",
"finite type",
"formal language",
"general theory",
"generalization",
"goal",
"idea",
"input",
"interesting vistas",
"language",
"languages unary tree languages",
"logic",
"middle",
"operation symbols",
"ordering",
"outgrowth",
"people",
"perspective",
"post",
"posthumous book",
"program",
"right ordering",
"special tree automata",
"string languages unary tree languages",
"strings",
"symbols",
"terms",
"theory",
"tree automata",
"tree languages",
"trees",
"types",
"unary algebras",
"unary tree languages",
"universal algebra",
"view",
"vistas" ;
ns1:name "Tree Languages" ;
ns1:pagination "1-68" ;
ns1:productId [ a ns1:PropertyValue ;
ns1:name "dimensions_id" ;
ns1:value "pub.1000867424" ],
[ a ns1:PropertyValue ;
ns1:name "doi" ;
ns1:value "10.1007/978-3-642-59126-6_1" ] ;
ns1:publisher [ a ns1:Organisation ;
ns1:name "Springer Nature" ] ;
ns1:sameAs ,
;
ns1:sdDatePublished "2022-01-01T19:28" ;
ns1:sdLicense "https://scigraph.springernature.com/explorer/license/" ;
ns1:sdPublisher [ a ns1:Organization ;
ns1:name "Springer Nature - SN SciGraph project" ] ;
ns1:url "https://doi.org/10.1007/978-3-642-59126-6_1" ;
ns2:license ;
ns2:sdDataset "chapters" .
a ns1:DefinedTerm ;
ns1:inDefinedTermSet ;
ns1:name "Mathematical Sciences" .
a ns1:DefinedTerm ;
ns1:inDefinedTermSet ;
ns1:name "Pure Mathematics" .
a ns1:Person ;
ns1:familyName "Gécseg" ;
ns1:givenName "Ferenc" ;
ns1:sameAs .
a ns1:Person ;
ns1:familyName "Steinby" ;
ns1:givenName "Magnus" ;
ns1:sameAs .