In this project we build a simulator for the reversible instructions set Bob. Bob is a RISC type instruction set - it has few instructions to choose from, though we expand a bit upon the core instruction set. First and foremost Bob is fully reversible. Programming wise this means that any program written in Bob can be run in both forward and backward direction.
Comments(guest) A (01-09-2019 19:32:45)Bob
brkmnd (05-09-2019 09:02:44)So bob!(guest) ?Abdulwahab (30-08-2019 10:32:40)Hellobrkmnd (30-08-2019 20:38:14)Hello there, Abdulwahab :-)(guest) Akash (24-08-2019 21:30:21)Hi therebrkmnd (25-08-2019 09:07:56)Hi there to you :)(guest) asdsad (24-08-2019 20:55:25)dsadasdGuest Name:Comment:
[Cnn_Parser] Introduction;;Default.aspx?id=61;;;;[Cnn_Parser] Lexical Analysis;;Default.aspx?id=62;;;;[Cnn_Parser] Dataset;;Default.aspx?id=63;;;;[Cnn_Parser] Neural Network;;Default.aspx?id=64;;;;[Cnn_Parser] Complete Me;;Default.aspx?id=65;;;;[Interleaving_Models_in_Category_Theory] Introduction;;Default.aspx?id=57;;;;[Interleaving_Models_in_Category_Theory] Interleaving Models;;Default.aspx?id=58;;;;[Interleaving_Models_in_Category_Theory] The adjoint pair of functors HL2ST and ST2HL;;Default.aspx?id=59;;;;[Interleaving_Models_in_Category_Theory] The adjoint pair of functors ST2TS and TS2ST;;Default.aspx?id=60;;;;[Alice_Botta_the_Poet] Intro;;Default.aspx?id=53;;;;[Alice_Botta_the_Poet] Sequencing;;Default.aspx?id=54;;;;[Alice_Botta_the_Poet] Creating the model;;Default.aspx?id=55;;;;[Alice_Botta_the_Poet] Using the model;;Default.aspx?id=56;;;;[Exploding_Search] Intro;;Default.aspx?id=50;;;;[Exploding_Search] The Algorithm;;Default.aspx?id=51;;;;[Exploding_Search] Complexity Analysis;;Default.aspx?id=52;;;;[Old_Web] Intro;;Default.aspx?id=49;;;;[Janus_to_Bob_Compiler] Intro;;Default.aspx?id=43;;;;[Janus_to_Bob_Compiler] Syntax;;Default.aspx?id=44;;;;[Janus_to_Bob_Compiler] Type Checking;;Default.aspx?id=45;;;;[Janus_to_Bob_Compiler] Translation;;Default.aspx?id=46;;;;[Janus_to_Bob_Compiler] Usage;;Default.aspx?id=47;;;;[Janus_to_Bob_Compiler] Version;;Default.aspx?id=48;;;;[Bob_Reversible_ISA] Introduction;;Default.aspx?id=37;;;;[Bob_Reversible_ISA] About Reversibility;;Default.aspx?id=38;;;;[Bob_Reversible_ISA] Syntax;;Default.aspx?id=39;;;;[Bob_Reversible_ISA] Machinery;;Default.aspx?id=40;;;;[Bob_Reversible_ISA] Semantics;;Default.aspx?id=41;;;;[Bob_Reversible_ISA] Usage;;Default.aspx?id=42;;;;[Untyped_Lambda_Calculus] Untyped Lambda Calculus in JavaScript;;Default.aspx?id=31;;;;[Untyped_Lambda_Calculus] Parser;;Default.aspx?id=32;;;;[Untyped_Lambda_Calculus] Semantics;;Default.aspx?id=35;;;;[Untyped_Lambda_Calculus] Evaluation;;Default.aspx?id=33;;;;[Untyped_Lambda_Calculus] Testing;;Default.aspx?id=34;;;;[Untyped_Lambda_Calculus] Usage;;Default.aspx?id=36;;;;[BoxProver] Intro;;Default.aspx?id=27;;;;[BoxProver] Syntax;;Default.aspx?id=28;;;;[BoxProver] HTML usage;;Default.aspx?id=29;;;;[BoxProver] Latex usage;;Default.aspx?id=30;;;;[Grammar2Slr] Intro;;Default.aspx?id=23;;;;[Grammar2Slr] Syntax;;Default.aspx?id=24;;;;[Grammar2Slr] Definitions;;Default.aspx?id=25;;;;[Grammar2Slr] Workings;;Default.aspx?id=26;;;;[Prop2Table] Preface;;Default.aspx?id=13;;;;[Prop2Table] Parsing input (SLR parser);;Default.aspx?id=14;;;;[Prop2Table] Parser F# code;;Default.aspx?id=15;;;;[Prop2Table] Well-formed syntax;;Default.aspx?id=16;;;;[Prop2Table] Semantics of propositional logic;;Default.aspx?id=17;;;;[Prop2Table] Constructing tables;;Default.aspx?id=18;;;;[Prop2Table] The application;;Default.aspx?id=19;;;;[Grammar2Set] Preface;;Default.aspx?id=6;;;;[Grammar2Set] Syntax of Input;;Default.aspx?id=7;;;;[Grammar2Set] Nullable;;Default.aspx?id=8;;;;[Grammar2Set] First;;Default.aspx?id=9;;;;[Grammar2Set] Follow;;Default.aspx?id=10;;;;[Grammar2Set] The Application;;Default.aspx?id=11;;;;[Nfa_to_Dfa_Converter] Preface;;Default.aspx?id=2;;;;[Nfa_to_Dfa_Converter] Syntax/Input;;Default.aspx?id=3;;;;[Nfa_to_Dfa_Converter] Conversion;;Default.aspx?id=4;;;;[Nfa_to_Dfa_Converter] The Application;;Default.aspx?id=5;;;;[Nfa_to_Dfa_Converter] Version 1.1;;Default.aspx?id=12;;;;[ComCalc] Preface;;Default.aspx?id=1;;;;[ComCalc] Syntax;;Default.aspx?id=20;;;;[ComCalc] Generating parser;;Default.aspx?id=22;;;;[ComCalc] The application;;Default.aspx?id=21;;;;