I can see that your work contains much that is new and good however the new is not good and the good, not new.
A paper on this work would be illuminating if ignited.
Congratulations: You have now once again successfully solved one of the one star exercises in Knuth's TACP.
In this work, is your coauthor a professor, post-doc, Ph.D. student, Master's student, undergraduate, or a visitor from a middle school?
So, your new programming language is Turing Machine equivalent. Okay. Beyond that its main feature is that it 'encourages a programming style' you prefer. Just why is that 'style' more significant than, say, style in the rag trade?
Your work has used some theorems from math but has it added any theorems to math?
> Congratulations: You have now once again successfully solved one of the one star exercises in Knuth's TACP.
My CS professor has published papers that are solutions to exercises in The Art of Computer Programming. It's sort of a fact of life for computer scientists that whatever you're doing has probably already been done by Knuth.
Knuth has a large range of problems in his text. He scales them all by difficulty on a log scale from 0 to 50. Things rated 00-05 might be a basic facts or arithmetic (What is 6! ?).
A set of problems in the 20s would be a good chunk of work, each taking about 20-30 minutes. By the time you get to 40's, you're dealing with problems that you could write a paper on. In the introduction, he demands proof of Fermat's Last Theorem as an example for 50.
A paper on this work would be illuminating if ignited.
Congratulations: You have now once again successfully solved one of the one star exercises in Knuth's TACP.
In this work, is your coauthor a professor, post-doc, Ph.D. student, Master's student, undergraduate, or a visitor from a middle school?
So, your new programming language is Turing Machine equivalent. Okay. Beyond that its main feature is that it 'encourages a programming style' you prefer. Just why is that 'style' more significant than, say, style in the rag trade?
Your work has used some theorems from math but has it added any theorems to math?