Termination

Unfortunately it is not at all given that even a deterministic algorithm will eventually deliver a result. On the other hand, iteratively executing the same step many times or even recursively calling an algorithm from within itself are very powerful and indispensable methods for efficient programs. And as a matter of fact, loops are used in parametric models, albeit only within the encapsulated components provided by the modeller and carefully hidden from the user to rule out infinite loops. The data-flow diagram set up by the user always forms a directed loop-free graph assuring that data passes through without ever reaching the same point twice.

Updated: 30.10.2014 — 09:47