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