"right ordering" .
.
_:N9daa5b8a560e414280a2b2fa89f4f8d0 .
"formal language" .
"B\u00FCchi\u2019s posthumous book" .
.
_:N2b58124d2de64ed0aabf6c490bc6f3a1 "Salomaa" .
"algebra" .
"unary algebras" .
"goal" .
"posthumous book" .
_:Ne8d7c350fe4943589f9a6bfd68f594e0 .
.
"1997" .
"https://doi.org/10.1007/978-3-642-59126-6_1" .
_:N1ec1a3cddedf474880bd0208787df0bc .
_:Nf3cd7c7a150e475ea42a1ab6af22bf45 .
"Magnus" .
_:N46e486623c314dafa4361b18fd0b1b76 "978-3-642-59126-6" .
.
"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." .
"program" .
"strings" .
"en" .
"operation symbols" .
_:Nfa618022f63246eb897c177ff8b8c7b1 .
_:N1ec1a3cddedf474880bd0208787df0bc "pub.1000867424" .
"Wright\u2019s program" .
"2022-01-01T19:28" .
_:N9daa5b8a560e414280a2b2fa89f4f8d0 "Grzegorz" .
"types" .
.
"finite automata" .
"Skolem" .
"finite type" .
"idea" .
_:N46e486623c314dafa4361b18fd0b1b76 "978-3-642-63859-6" .
"post" .
"Steinby" .
_:Ne8d7c350fe4943589f9a6bfd68f594e0 _:N9daa5b8a560e414280a2b2fa89f4f8d0 .
"symbols" .
"universal algebra" .
"logic" .
"branches" .
_:N46e486623c314dafa4361b18fd0b1b76 "Handbook of Formal Languages" .
"chapters" .
"tree automata" .
"special tree automata" .
"Thue" .
"perspective" .
"Mathematical Sciences" .
"ordering" .
"Leibniz" .
_:N9daa5b8a560e414280a2b2fa89f4f8d0 "Rozenberg" .
"B\u00FCchi" .
"middle" .
"outgrowth" .
_:N4a110874fe8142f3b732eb617f493365 .
_:Nfa618022f63246eb897c177ff8b8c7b1 .
"Pure Mathematics" .
"trees" .
_:N1ec1a3cddedf474880bd0208787df0bc "dimensions_id" .
"Wright" .
.
"false"^^ .
"general theory" .
"finite alphabet" .
_:N4a110874fe8142f3b732eb617f493365 "doi" .
"1-68" .
_:Nd5abeb450ab341c99366371c18efd32c "Springer Nature - SN SciGraph project" .
.
"languages unary tree languages" .
"automata" .
"1997-01-01" .
"Ferenc" .
.
_:N2b58124d2de64ed0aabf6c490bc6f3a1 .
_:Ne8d7c350fe4943589f9a6bfd68f594e0 _:Nf3cd7c7a150e475ea42a1ab6af22bf45 .
"development" .
"terms" .
"equational logic" .
_:N4a110874fe8142f3b732eb617f493365 "10.1007/978-3-642-59126-6_1" .
.
_:Nf3cd7c7a150e475ea42a1ab6af22bf45 _:N2b58124d2de64ed0aabf6c490bc6f3a1 .
_:N46e486623c314dafa4361b18fd0b1b76 .
"unary tree languages" .
_:Nddecc9d6f4914cdbb0b6e4871f8f4f0b "Springer Nature" .
_:N1df1d5ea421840b68c17f2d0056b252e .
"theory" .
.
"finite algebras" .
"G\u00E9cseg" .
_:Nddecc9d6f4914cdbb0b6e4871f8f4f0b .
"book" .
.
"vistas" .
_:Nd5abeb450ab341c99366371c18efd32c .
"interesting vistas" .
"input" .
"people" .
"Tree Languages" .
_:N1ec1a3cddedf474880bd0208787df0bc .
"string languages unary tree languages" .
.
"language" .
"alphabet" .
"generalization" .
"tree languages" .
_:N46e486623c314dafa4361b18fd0b1b76 .
.
_:N4a110874fe8142f3b732eb617f493365 .
"view" .
"chapter" .
_:N2b58124d2de64ed0aabf6c490bc6f3a1 "Arto" .
"https://scigraph.springernature.com/explorer/license/" .
_:Nd5abeb450ab341c99366371c18efd32c .
_:Nddecc9d6f4914cdbb0b6e4871f8f4f0b .
_:Nfa618022f63246eb897c177ff8b8c7b1 _:N1df1d5ea421840b68c17f2d0056b252e .
.
_:N1df1d5ea421840b68c17f2d0056b252e .