Varieties of formal series on trees and Eilenberg's theorem (Q1111587): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Daniel Krob / rank | |||
Property / reviewed by | |||
Property / reviewed by: Daniel Krob / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0020-0190(88)90056-7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1970935577 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4079524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Series formelles et algèbres syntactiques / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:50, 19 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Varieties of formal series on trees and Eilenberg's theorem |
scientific article |
Statements
Varieties of formal series on trees and Eilenberg's theorem (English)
0 references
1988
0 references
The authors prove a tree series version of Eilenberg's correspondence between varieties of languages and varieties of monoïds. More precisely, for each field K, they introduce the category \(K\)-\(\Sigma\)- Alg\({}_{fin}\) whose objects are (\(\Sigma\),\({\mathcal A})\), where \(\Sigma\) a ranked alphabet and \({\mathcal A}^ a \Sigma\)-algebra, which is also a finite dimensional K-vector space, satisfying an additional property. Then they define the notion of (E,M)-variety in \(K\)-\(\Sigma\)- Alg\({}_{fin}\), where E and M are appropriate classes of epimorphisms and monomorphisms in this category. And, finally, they prove that there is a bijection between varieties of tree series over K and (E,M)- varieties in \(K\)-\(\Sigma\)-Alg\({}_{fin}\).
0 references
syntactic algebra
0 references
tree series version of Eilenberg's correspondence between varieties of languages and varieties of monoïds
0 references
(E,M)- variety
0 references