Biology Reference
In-Depth Information
by definition, it must not be a member of itself. If R is not a member of itself, again
by definition, it must be a member of itself. Thus R is both X and not-X at the same
time, violating the principle of crisp logic, the law of excluded middle.
Baez ( http://math.ucr.edu/home/baez/week73.html ) provides another useful
definition:
A category is something just as abstract as a set, but a bit more structured. It is not a mere
collection of objects; there are also morphisms between objects, in this case the functions
between sets
. A category consists of a collection of “objects” and a collection of
“morphisms.” Every morphism f has a “source” object and a “target” object. If the source
of f is X and its target is Y, we write f: X ! Y. In addition, we have:
(a) Given a morphism f: X ! Y and a morphism g: Y ! Z, there is a morphism fg:
X ! Y, which we call the “composition” of f and g
(b) Composition is associative: (fg)h ¼ f(gh)
(c) For each object X there is a morphism 1 X :X ! X, called the “identity” of X. For any f:
X ! Y we have 1 X f ¼ f1 X ¼ f. (12.56)
The first two three rows of Table 12.19 may correspond to the O (i.e., objects)
and hom (i.e., morphism) components of a category defined in Statement 12.56.
(3) In analogy to the Turing machine, it may be convenient to refer to computing
machines based on words or “linguistic variables” as “Zadeh machine.” A linguistic
variable consists of a “linguistic term” and a positive real “number,” between 0 and
1, indicating a degree of membership to a fuzzy set (for a definition of fuzzy set, see
Sect. 5.2.5 ) (Kosko 1993; Zadeh 1996c). Frisco and Ji (2002, 2003) applied the
biological concepts of the conformon (Ji 1974b, 2000) and the cell membrane to
modeling computability. It is shown that this so-called conformons-P system
belongs to the universality class of the Turing machine. The suffix P stands for
the P-system, a biological membrane-inspired computational model developed by
G. Paun and his school in the 1990s (Paun 2002; Paun et al. 2002). The conformons-
P system can be viewed as a formal model of the computing aspect of the living cell
in contrast to the Bhopalator (Ji 1985a, b) which is its molecular model of the living
cell as a whole . We can alternatively refer to the conformons-P system as the
conformon-P machine , whenever convenient.
The conformon of the conformons-P system is a pair, [X, x], where X is the
“name” and x the “value” of the conformon. X and x thus defined are the
abstractions of their biological counterparts, information and energy , that constitute
the complementary pair of the original conformon . Conformon [X, x] is formally
identical with Zadeh's linguistic variable , if X and x are equated with the linguistic
term and the degree of membership to a fuzzy set , respectively. Consequently, the
conformon-P machine can be reduced to the Zadeh machine, as it can be reduced
(or related) to the Turing machine (Fig. 12.39 ).
(4) As pointed out by fuzzy theorists (Zadeh 1996a, b, c; Kosko 1993; Yen and
Langari 1999), the Turing machine is based on crisp sets , while Zadeh machine is
rooted in fuzzy sets . I here postulate that the set of molecules underlying the
conformon-P machine is both crisp (e.g., nucleotide sequences of DNA) and fuzzy
(e.g., ensemble of conformations belonging to a given amino acid sequence of a
protein) (Ji 2004a). Because of its “A AND not-A” nature (Kosko 1993), it may be
asserted that the Bhopalator can act as the ultimate source or ground for both the
...
Search WWH ::




Custom Search