Object disoriented Turing-completeness proof

This is an untested Brainfuck interpreter, written in Object_disoriented, to prove its turing completeness. Insert ] after the brainfuck program to mean the program's end and the start of the input.
 e brainfuck interpreter in object disoriented, beta.
 
 dmpair.
 r n
 r n
 cat cba ctb rb
 ap
 pz
 zz
 
 dconcat.
 rn
 rn
 rfbfap
 ap
 pz
 zz
 
 done.
 fpz rz
 zz
 
 dpush.
 rn
 rn
 cbs
 ra
 ap
 pz
 zz
 
 
 darraynext.
 cfpz a
 cfpz b
 cfazt
 cfflpush. t b b
 cfflmpair. a b p
 rz
 zz
 
 darrayprev.
 cfpz a
 cfpz b
 cfbzt
 cfflpush. t a a
 cfflmpair. a b p
 rz
 zz
 
 darraywrite.
 cfpz a
 cfpz b
 cfazt
 rt
 zz
 
 darraywrite.
 cfpz a
 cfpz b
 faz
 cfflpush.taa
 zz
 
 dinc8.
 cfpzt cfflmpair. ffland. tb fflxor. tb t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. tb fflxor. tb t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. tb fflxor. tb t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. tb fflxor. tb t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. tb fflxor. tb t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. tb fflxor. tb t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. tb fflxor. tb t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. tb fflxor. tb t
 cfflpush. ftz a cftz b
 flflip8.a
 cap
 rz
 zz
 
 ddec8.
 cfpzt cfflmpair. ffland. flnot.t b ffland. t flnot.b t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. flnot.t b ffland. t flnot.b t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. flnot.t b ffland. t flnot.b t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. flnot.t b ffland. t flnot.b t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. flnot.t b ffland. t flnot.b t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. flnot.t b ffland. t flnot.b t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. flnot.t b ffland. t flnot.b t
 cfflpush. ftz a cftz b
 cfpzt cfflmpair. ffland. flnot.t b ffland. t flnot.b t
 cfflpush. ftz a cftz b
 flflip8.a
 cap
 rz
 zz
 
 dflip8.
 cfflpush. fpz a a
 cfflpush. fpz a a
 cfflpush. fpz a a
 cfflpush. fpz a a
 cfflpush. fpz a a
 cfflpush. fpz a a
 cfflpush. fpz a a
 cfflpush. fpz a a
 cap
 rz
 zz
 
 disnonzero8.
 cpt
 c fflor.ftz a a
 c fflor.ftz a a
 c fflor.ftz a a
 c fflor.ftz a a
 c fflor.ftz a a
 c fflor.ftz a a
 c fflor.ftz a a
 c fflor.ftz a a
 ra
 zz
 
 doutput8.
 cpa
 flflip8.a
 ofaz
 ofaz
 ofaz
 ofaz
 ofaz
 ofaz
 ofaz
 ofaz
 rz
 zz
 
 dinput8.
 cafflpush. i a
 cafflpush. i a
 cafflpush. i a
 cafflpush. i a
 cafflpush. i a
 cafflpush. i a
 cafflpush. i a
 ra
 zz
 
 e ascii hex dec bin key op
 + 2B 43 00101011 0011 increment
 - 2D 45 00101101 0001 decrement
 < 3C 60 00111100 0100 previous
 > 3E 62 00111110 0110 next
 , 2C 44 00101100 0000 input
 dot 2E 46 00101110 0010 output
 [ 5B 91 01011011 1 11 loop start 
 ] 5D 93 01011101 1 10 loop end, program end
 .
 
 dcheck+.
 cpt
 flflip8.t
 calone.
 c ffland.fflnot.tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 ra
 zz
 
 dcheck-.
 cpt
 flflip8.t
 calone.
 c ffland.fflnot.tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 ra
 zz
 
 dcheck<.
 cpt
 flflip8.t
 calone.
 c ffland.fflnot.tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.fflnot.tz a a
 ra
 zz
 
 dcheck>.
 cpt
 flflip8.t
 calone.
 c ffland.fflnot.tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 ra
 zz
 
 dcheck,.
 cpt
 flflip8.t
 calone.
 c ffland.fflnot.tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.fflnot.tz a a
 ra
 zz
 
 dcheckdot.
 cpt
 flflip8.t
 calone.
 c ffland.fflnot.tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 ra
 zz
 
 dcheck[.
 cpt
 flflip8.t
 calone.
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 ra
 zz
 
 dcheck].
 cpt
 flflip8.t
 calone.
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.f tz a a
 c ffland.fflnot.tz a a
 c ffland.f tz a a
 ra
 zz
 
 
 
 dand.
 cafflmpair. z p
 rn
 fpa
 rfaz
 az
 zz
 
 dor.
 cafflmpair. p lone.
 rn
 fpa
 rfaz
 az
 zz
 
 dxor.
 rn
 c fflmpair. z lone. t
 fat
 fpt
 rftz
 pz
 zz
 
 dnot.
 c fflmpair. lone. z t
 fpt
 rftz
 zz
 
 dopinc.
 cflarrayread. p a
 flinc8. a
 fflarraywrite. a p
 rp
 zz
 
 dopdec.
 cflarrayread. p a
 fldec8. a
 fflarraywrite. a p
 rp
 zz
 
 dopnext.
 flarraynext. p
 rp
 zz
 
 dopprev.
 flarrayprev. p
 rp
 zz
 
 dopin.
 fflarraywrite. flinput8.z p
 rp
 zz
 
 dopout.
 cflarrayread. p a
 floutput8.a
 rp
 zz
 
 dmakeloop1.
 rn
 fap
 c flarrayread. p t
 c flisnonzero8. t t
 c fft fflmpair. nrpzz s z t
 rftp
 pz
 zz
 
 dmakeloop.
 rn
 c flarrayread. p t
 c flisnonzero8. t t
 c fft fflmpair. z a t
 rftp
 fmakeloop1.pz
 zz
 
 dconstruct.
 c flinput8. a
 c fflconcat p flconstructop.a b
 c f flcheck[.a fflmpair. b fflconcat b flmakeloop. flconstruct.z b zt
 c f flcheck].a fflmpair. s nrpzz zt
 rftb
 zz
 
 dconstructop.
 cpa
 c f flcheck+.a fflmpair. t lopinc. z t
 c f flcheck-.a fflmpair. t lopdec. z t
 c f flcheck<.a fflmpair. t lopprev. z t
 c f flcheck>.a fflmpair. t lopnext. z t
 c f flcheckdot.a fflmpair. t lopout. z t
 c f flcheck,.a fflmpair. t lopin. z t
 rt
 zz
 
 dmain.
 cflconstruct.za
 faz
 zz
Category:Proofs Category:Implementations