Uyghur←Chineseئاساسىي لۇغەت
پروگراممىنىڭ توغرىلىق ئىسپاتى
دائىرە: كومپيۇتېر程序正确性证明
chéng xù zhèng què xìng zhèng míng
GetWord كۇللىياتى
9程序正确性证明
chéng xù zhèng què xìng zhèng míng
بۇ خەت ھەققىدە
بۇ ئۇيغۇرچە–خەنزۇچە لۇغەت خېتى.
بۇ تەرجىمە Lughet توپلىمىدىكى ئاساسىي لۇغەت دىن ئېلىندى.
بۇ سۆز Lughet توپلىمىدىكى باشقا مەنبەلەردىمۇ ئۇچرايدۇ — تۆۋەندىكى تىزىملىكنى كۆرۈڭ.