12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday December 02, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 13:01, 9 March 2009
, 13:01, 9 March 2009→Note 5: \texttt{}
==Note 5==
==Note 5==
For a slightly more interesting example, let's suppose that we have a dynamic system that is known by its state space <math>X,\!</math> and we have a boolean state variable <math>x : X \to \mathbb{B}.</math> In addition, we are given an initial condition <math>x = dx\!</math> and a law <math>d^2 x = (x).\!</math>
For a slightly more interesting example, let's suppose that we have a dynamic system that is known by its state space <math>X,\!</math> and we have a boolean state variable <math>x : X \to \mathbb{B}.</math> In addition, we are given an initial condition <math>\texttt{x = dx}</math> and a law <math>\texttt{d}^\texttt{2}\texttt{x = (x)}.</math>
The initial condition has two cases: either <math>x = dx = 0\!</math> or <math>x = dx = 1.\!</math>
The initial condition has two cases: either <math>x = dx = 0\!</math> or <math>x = dx = 1.\!</math>
