About FracTranDict

FracTranDict is:

• a dictionary for FracTran programs (see FracTran for a definition of what are FracTran programs)
• a test for a more general dictionary about algorithms similar to oeis (a dictionary for integer sequences)

FracTran programs have been chosen to test the opportunity to design a more general dictionary about algorithms because FracTran programs can be automatically produced. Here, more than 20 000 FracTran programs have been automatically produced. Most of them are not really interesting. One other reason for choosing FracTran program: it's quite easy to design an interpreter for these programs (few lines in javascript) and when executing a program it's quite easy to detect some case of infinite loop or overflow intermediate result. Here, for each FracTran program, almost 100 computations have been done which have already gave more than 3 000 000 signatures: "input=>output" describing the programs (the process of computing the signatures is not finished, it continues when this current page is loaded).

The main index of this dictionary are the signatures "input=>output" coresponding to programs, not the code of the FracTran programs, not the comment about the FracTran programs (even if you could query the dictionnary about code/comment). One signature should not be enough to distinguish one program in the database, but few signatures, yes (work hypothesis). It's not true with comment and code. Both of them depends on the natural language of the comment's author (or the programming language of the code's author) and his/her vocabulary, and his/her style and semantic equivalence between codes or comments is hard to compute (try it! ;-)). Compared to codes and comments, signatures are poor semantics elements but they are straigth one: when a program/algorithm get fit with one signature, it get fit!

You can query the dictionary to find a FracTran program with some signature (or some part of code, or some word in comment), add new FracTran program or comment, fulfill the database with new signatures (as it's done currently) or help to maintain/develop this site (my interest for FracTran program is limited, my objective is to test the opportunity to design a more general dictionary about algorithms: I'll be moving to that project in few days...)

Results

Nothing to display.

Do you have fill the query input?
If you don't have fill the query input, think about filling it and press enter or click the button "?" on right side.



Some examples of query:

• "6=>25" : try to find a FracTran program which answer 25 from input 6.
• "mult" : try to find a FracTran program with "mult" in comment.
• "3/4" try to find a FracTran program with fraction 3/4 in its definition.
• "(6=>25 & mult) | 3/4" will try to find a FracTran program which answer 25 from input 6 with "mult" in comment and fraction 3/4 in its definition. (not yet).

Global: to be imagined...

New FracTran program

Add a new FracTran program, give a comment or edit one.

{New|Known} FracTran program (eg: "5/2 5/3"):

New short local comment (it {sh|c}ould be in HTML.):   

What's inside?

Inside: some computations can be done to fulfill the database of FracTranDict. You can start these computations by clicking here or introduce a new FracTran program or comment.
These computations will stop if you click here or reload the page.

Computation: