R-fuzzy computation (Q1072368)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | R-fuzzy computation |
scientific article |
Statements
R-fuzzy computation (English)
0 references
1986
0 references
The presented paper studies so-called R-fuzzy recursive program schemes which are finitely specified by systems of equations \(x_ i=p_ i\), \(i=1,...,n\). Thereby, \(X=\{x_ 1,...,x_ n\}\) is a finite set of variables and the \(p_ i's\) are polynomials built up over X unioned with a finite set F of function symbols and with coefficients in a given semiring R that determines the different kind of fuzziness by evaluating possible choices. Using power series on F-tree with variables of X the meaning of R-fuzzy recursive program schemes can formally be computed. The main result shows the equivalence of equational (fixed point) and operational semantics of such program schemes.
0 references
R-fuzzy recursive program schemes
0 references
fixed point
0 references
operational semantics
0 references