nieformalne ujęcie wyspecyfikowanej złożoności