We give basic definitions necessary to understand what are cellular automata, as well as to work with. Some efficient but sometimes problematic concepts as signal, simulation and universality, are poi...
We give basic definitions necessary to understand what are cellular automata, as well as to work with. Some efficient but sometimes problematic concepts as signal, simulation and universality, are poi...
We give basic definitions necessary to understand what are cellular automata, as well as to work with. Some efficient but sometimes problematic concepts as signal, simulation and universality, are poi...
: Considering measure theory in which the semifield of positive real numbers is replaced by an idempotent semiring leads to the notion of idempotent measure introduced by Maslov. Then, idempotent meas...
Solving equations in the free algebra T (F; X) (i.e. unification) uses the two rules: f(~s) = f( ~ t) ! ~s = ~ t (decomposition) and s[x] = x !? (occur-check). These two rules are not correct in quoti...
Solving equations in the free algebra T (F; X) (i.e. unification) uses the two rules: f(~s) = f( ~ t) ! ~s = ~ t (decomposition) and s[x] = x !? (occur-check). These two rules are not correct in quoti...
Solving equations in the free algebra T (F; X) (i.e. unification) uses the two rules: f(~s) = f( ~ t) ! ~s = ~ t (decomposition) and s[x] = x !? (occur-check). These two rules are not correct in quoti...