Initial algebra for a system of right-linear functors
In 2003 we showed that right-linear systems of equations over regular expressions, when interpreted in a category of trees, have a solution whenever they enjoy a specific property that we called hierarchicity and that is instrumental to avoid critical mutual recursive definitions. In this note, we p...
Elmentve itt :
Szerzők: |
Labella Anna Nicola Rocco de |
---|---|
Dokumentumtípus: | Cikk |
Megjelent: |
2017
|
Sorozat: | Acta cybernetica
23 No. 1 |
Kulcsszavak: | Algebra, Lineáris függvények |
Tárgyszavak: | |
doi: | 10.14232/actacyb.23.1.2017.12 |
Online Access: | http://acta.bibl.u-szeged.hu/50070 |
Hasonló tételek
-
Functor state machines
Szerző: Horváth Gábor
Megjelent: (1981) -
Axiomatic systems in fuzzy algebra
Szerző: Drewniak J.
Megjelent: (1981) -
Linear algebra
Szerző: Dormán Miklós
Megjelent: (2019) -
Continuous semiring-semimodule pairs and mixed algebraic systems
Szerző: Ésik Zoltán, et al.
Megjelent: (2017) -
An algebraic approach to energy problems II - the algebra of energy functions
Szerző: Ésik Zoltán, et al.
Megjelent: (2017)