ReversibleFerrariMSB
ReversibleFerrariMSB(Most Significant Bit) is a simple proof language for constructing Ferraris.
commands
tip - times instruction pointer
sue # single use expression. Aims the halting zone. unrerverses everything, constructs proof of Ferrari.
eli5 = doees the next step..
go - goes. program is driven by the driverLSB and instructed by the second ternary channel.
ternary channel - effectively turns the Ferrari and makes sure the signal to driver is good.
racecar - quine, system operation
Ferrari
A Ferrari is a racecar. In ReversibleFerarriMSB Ferraris have 4 configurations which we can call sue states.
- Ferrari©
- Ferrari®
- Ferrari™
- Ferrari
example
racecar go sue Ferrari© - tip ternary channel eli5 go
This proves ReversibleFerrariMSB is reversible ferrari.
Higher level declarations can drive a racecar through a rally track with a .PNG (which is why sue command is nondeterministic.)
neat thematic features
since midi and PNG are both viable options via Steganography you can have Ferrari™ themed songs and midi!
midi more generally can be rally CSR music themed which is neat.
Ferrari™ pngs have a neat thematic feature of asynchronously executing the sue command.