Comparison between four formal models and programming styles

Some notations and terms from Algebra, Automata and Algorithm theories will be introduced. A general computational model will be defined as a basis for formal computational models comparison. The formal models While system, Functional program, Logic program, and Control Network will be defined in the terms of General computational model. A comparison between models will be done. Control of the computation process in While system, functional program, logic program and Control network will be described. The metalanguage Net for Control of the computation improving will be introduced. Some comments for the differences between the introduced styles of programming will be made.

LS Home page or Talks in 1999/2000