home *** CD-ROM | disk | FTP | other *** search
-
- [BSUM.REC]
- [sum two binary numbers]
-
- [[]]
-
- {
- [cr,lf] (2573TL;)&
- [read phrase] (R13%='';T08%(=2080[sp,bs]TL)(@J|;L@J;);)J
- [sign-on line] ('
- A Markov Algorithm which will sum two binary
- numbers presented in the form a+b=; for example
-
- 111110+011=
-
- Each successive keystroke will show another step
- in the Algorithm until the final sum is completed
- and the auxiliary symbols are gone.
- 'TL@&'Initial Axiom:'TL@&@JI;:)R
- [write workspace] (JZqt;)W
- [final statement] (@&'Production:'TL@&JZqt;)X
- (@R(@&@WRL
-
- 'a0'FD'0a'I:
- 'a1'FD'1a'I:
- 'b0'FD'0b'I:
- 'b1'FD'1b'I:
- '0*'FD'1'I:
- '1*'FD'*0'I:
- '*'FD'1'I:
- '0a'FD'=0'I:
- '0b'FD'=1'I:
- '1a'FD'=1'I:
- '1b'FD'*=0'I:
- '0+'FD'+a'I:
- '1+'FD'+b'I:
- '+a'FD'0=+'I:
- '+b'FD'1=+'I:
- '+'FD''I:
- '='FD''I:;;)@X;;)}
-
- [end]
-