top
Our purpose is to introduce the W-composition, W-minimalization and W-primitive recursion operations as operations between W-valued functions, where W denotes the ordered semiring ([0,1],+,≤). We prove that: 1) the set of W-calculable functions is closed under the W-composition and W-primitice recursion operations, and 2) the set of the partially W-calculable functions is closed under the W-minimalization operation.
Clares Rodríguez, Buenaventura. "Una introducción a la W-calculabilidad: Operaciones básicas.." Stochastica 7.2 (1983): 111-135. <http://eudml.org/doc/38890>.
@article{ClaresRodríguez1983, author = {Clares Rodríguez, Buenaventura}, journal = {Stochastica}, keywords = {Calculabilidad; Lógica difusa; Máquina de Turing; primitive recursion}, language = {spa}, number = {2}, pages = {111-135}, title = {Una introducción a la W-calculabilidad: Operaciones básicas.}, url = {http://eudml.org/doc/38890}, volume = {7}, year = {1983}, }
TY - JOUR AU - Clares Rodríguez, Buenaventura TI - Una introducción a la W-calculabilidad: Operaciones básicas. JO - Stochastica PY - 1983 VL - 7 IS - 2 SP - 111 EP - 135 LA - spa KW - Calculabilidad; Lógica difusa; Máquina de Turing; primitive recursion UR - http://eudml.org/doc/38890 ER -