Using control network programming in teaching nondeterminism

Kratchanov, Kostadin; Golemanova, Emilia; Golemanov, Tzanko; Külahçıoğlu, Burcu

doi:10.1145/2383276.2383333

Cited by 4 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• User has very powerful control tools -control states and system options -in order to direct and control the CN traversal [24,25]. In particular, that allows simple 'visual' implementation of o heuristic algorithms [4,5,28] o nondeterministic algorithms [29] o randomized algorithms [30] • The programmer can define the solution scope, that is, how many solutions will be found (if they exist) -a single solution, a fixed in advance number of solutions, all solutions, prompting after each solution if another solution should be sought. For example, the recognizer of arithmetic expressions (Fig.…”

Section: Full Cnp Vs Cinnamon Programmingmentioning

confidence: 99%

Syntax and Semantics for Cinnamon Programming

Kratchanov

2021

SSRN Journal

Self Cite

View full text Add to dashboard Cite

Cinnamons are a new computation model intended to form a theoretical foundation for Control NetworkProgramming (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.

show abstract

Section: Full Cnp Vs Cinnamon Programmingmentioning

confidence: 99%

Syntax and Semantics for Cinnamon Programming

Kratchanov

2021

SSRN Journal

Self Cite

View full text Add to dashboard Cite

show abstract

“…• User has very powerful control tools -control states and system options -in order to direct and control the CN traversal [24,25]. In particular, that allows simple 'visual' implementation of o heuristic algorithms [2,3,26] o nondeterministic algorithms [27] o randomized algorithms [28] • The programmer can define the solution scope, that is, how many solutions will be found (if they exist) -a single solution, a fixed in advance number of solutions, all solutions, prompting after each solution if another solution should be sought. For example, the recognizer of arithmetic expressions ( Fig.…”

Section: Full Cnp Vs Cinnamon Programmingmentioning

confidence: 99%