Slutförlighet

Slutförlighet är ett begrepp som beskriver egenskapen hos ett system, en process eller ett problem att kunna fullföljas till ett slutläge eller mål under givna regler och resurser. I praktiken handlar det om huruvida ett givet fall kan avslutas, i motsats till att hamna i en oändlig eller olöst situation.

Inom datavetenskap och matematik används slutförbarhet ofta för att beskriva om det finns ett finit-sekvens av steg som leder från ett startläge till ett slutläge. Om alla tänkbara sekvenser når ett slutläge talar man ofta om en avstängbar eller terminerande struktur; om det i varje fall finns minst en sekvens som terminerar kallas det vanligtvis svagt terminerande eller slutförbart; om samtliga sekvenser terminerar sägs systemet vara starkt terminerande. Dessa skillnader är viktiga vid systemdesign, verifiering och komplexitetsanalys.

Inom logik och formella metoder relaterar slutförbarhet till reachability och beslutsbarhet: kan ett mål eller en egenskap uppnås inom modellen, och går det att garantera att detta sker i finit tid?

I praktiska sammanhang som projektledning och arbetsflödesdesign avser slutförlighet möjligheten att färdigställa en uppgift eller plan med givna resurser, beroenden och begränsningar. Ett projekt är slutförbart om det finns en möjlig följd av åtgärder som leder till leveranserna utan att hamna i dödlägen.

Bedömningar görs ofta genom modellering med tillståndsmaskiner, Petri-nätt eller formella bevis av terminering och reachability samt analys av resurser och schemaläggning.