Continuous semiring-semimodule pairs and mixed algebraic systems

We associate with every commutative continuous semiring S and alphabet Σ a category whose objects are all sets and a morphism X → Y is determined by a function from X into the semiring of formal series S⟪(Y⊎Σ)*⟫ of finite words over Y⊎Σ, an X × Y -matrix over S⟪(Y⊎Σ)*⟫, and a function from into the...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Ésik Zoltán
Kuich Werner
Dokumentumtípus: Cikk
Megjelent: 2017
Sorozat:Acta cybernetica 23 No. 1
Kulcsszavak:Algebra, Félcsoport - algebra
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/50063
LEADER 01663nab a2200241 i 4500
001 acta50063
005 20220620155129.0
008 180212s2017 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Ésik Zoltán 
245 1 0 |a Continuous semiring-semimodule pairs and mixed algebraic systems  |h [elektronikus dokumentum] /  |c  Ésik Zoltán 
260 |c 2017 
300 |a 061-079 
490 0 |a Acta cybernetica  |v 23 No. 1 
520 3 |a We associate with every commutative continuous semiring S and alphabet Σ a category whose objects are all sets and a morphism X → Y is determined by a function from X into the semiring of formal series S⟪(Y⊎Σ)*⟫ of finite words over Y⊎Σ, an X × Y -matrix over S⟪(Y⊎Σ)*⟫, and a function from into the continuous S⟪(Y⊎Σ)*⟫-semimodule S⟪(Y⊎Σ)ω⟫ of series of ω-words over Y⊎Σ. When S is also an ω-semiring (equipped with an infinite product operation), then we define a fixed point operation over our category and show that it satisfies all identities of iteration categories. We then use this fixed point operation to give semantics to recursion schemes defining series of finite and infinite words. In the particular case when the semiring is the Boolean semiring, we obtain the context-free languages of finite and ω-words. 
650 4 |a Természettudományok 
650 4 |a Matematika 
650 4 |a Számítás- és információtudomány 
695 |a Algebra, Félcsoport - algebra 
700 0 1 |a Kuich Werner  |e aut 
856 4 0 |u http://acta.bibl.u-szeged.hu/50063/1/actacyb_23_1_2017_5.pdf  |z Dokumentum-elérés