ნულოვანი ცოდნის ფორმალურ განსაზღვრებას იყენებს ზოგიერთი თეორიული კომპიუტერული მოდელი მაგალითად ტურინგის მანქანა