Abstract

Programming (CNP). CNP has established itself as a programming approach combining declarative and imperative features. It supports powerful tools for control of the computation process; in particular, these tools allow easy, intuitive, visual development of heuristic, nondeterministic, or randomized solutions. The paper providesrigorous definitions of the syntax and semantics of the new model of computation, at the same time trying to keep the intuition behind clear. The purposely simplified theoretical model is then compared to both WHILE-programs (thus demonstrating its Turing completeness), and the “real” CNP. Finally, future research possibilities are mentioned that would eventually extend the cinnamon programming and its theoretical foundation into the directions of nondeterminism, randomness and fuzziness.

Highlights

  • This paper is an extended version of the conference publication [1] where cinnamons were first introduced

  • Cinnamons are a model of computation to serve is a theoretical model underlying Control Network Programming

  • Control Network Programming(or CNP) [2,3,4,5,6] is an unusual style of programming in which the program can be visualized as a set of graphs

Read more

Summary

INTRODUCTION

This paper is an extended version of the conference publication [1] where cinnamons were first introduced. Cinnamons are a model of computation (like Turing machines, recursive functions, while-programs, RAM machines, etc.) to serve is a theoretical model underlying Control Network Programming. The section is a brief introduction to and a summary of Control Network Programming

Control Network Programming
Cinnamons
Background and Perspective
SYNTAX
Examples
SEMANTICS
Formal Semantics
TURING COMPLETENESS
FURTHER STUDY

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.