Ushbu maqola Oʻzbekcha Vikipediyadagi Juris Hartmanis maqolasidan import qilingan.