Varieties of formal series on trees and Eilenberg's theorem
From MaRDI portal
Publication:1111587
DOI10.1016/0020-0190(88)90056-7zbMath0658.08002MaRDI QIDQ1111587
Stavros Ioulidis, Symeon Bozapalidis
Publication date: 1988
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(88)90056-7
(E,M)- variety; syntactic algebra; tree series version of Eilenberg's correspondence between varieties of languages and varieties of monoïds
20M07: Varieties and pseudovarieties of semigroups
68T99: Artificial intelligence
20M35: Semigroups in automata theory, linguistics, etc.
08B20: Free algebras
08B99: Varieties
Related Items
Varieties of recognizable tree series over fields, Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
Cites Work