Konečnosť

Konečnosť je to, čo má medze, pokiaľ ide o akúkoľvek danú kvantitu tej istej povahy alebo to, čo podľa dôvodných domnienok smeruje k takému stavu; matie konca. Vlastnosť množiny, ktorá má konečný počet prvkov. V informatike je to charakteristická vlastnosť algoritmu. Rozlišuje sa statická konečnosť a dynamická konečnosť . Každý algoritmus musí byť staticky konečný, t. j. má byť opísaný textom konečnej dĺžky. Hovoríme, že algoritmus je dynamický konečný, ak objekty a štruktury, ktoré používa, ostávajú v každom časovom momente konečné.