Urban Muller, heeft de BRAINFUCK programmeertaal uitgevonden.
Het is een 8 instructie set turing complete assembly taal.
Ik heb van horen zeggen (wikipedia) dat de hele Lambda Calculus door deze programmeertaal doorgerekend kan gaan worden.
Hoe discreet is het paradigma P( A, B, C, D, E, F, G, H );
Als het betrekking heeft op software.
( een C compiler naar BRAINFUCK is nog niet op de markt namelijk )
Als ik een bresenham circel wil noteren.
Is het waarschijnlijk dat als er een boog uit de circel verdwijnt.
En deze door een rechte lijn gerepareerd moet worden.
Als de Lambda calculus door het discrete paradigma P( A, B, C, D, E, F, G, H )
Tot algorithme is te transformeren.
kan men met 8 instructies een circel trekken. Maar, in de vorm van een BitMap.
( dan zou de BRAINFUCK assembly en bitmap kunnen produceren die een .bmp file kan worden )
Maar, kan BRAINFUCK nog discreter.
Ik kan mij in een P(x, y) paradigma mij nog een circel voorstellen.
maar als BRAINFUCK een 6 instructie taal wordt.
ik het P(A, B, C, D, E, F )
Voldoende voor de hele Lambda calculus?
Hoogstwaarschijnlijk kennen de potentiele antwoorden op dit vraagstuk.
het gegeven dat er een LOOPIN en een LOOPUIT in 8 instructies bevestigd zijn.
In programmacode is dat meestal een do_while constructie.
tussen LOOPIN en LOOPOUT, kom ik daar eigenlijk nog iets anders tegen dan een quine.
( een programma dat zijn eigen broncode terugeeft )
Deze BRAINFUCK constructies zijn al op de markt namelijk.
Peace,
Dagmar.