Обсуждены и интерпретированы основные вопросы компьютерной лингвистики

Aksiomatik  nazariya 
-   ilmiy  nazariya  qurilishi,  bu  nazariya  asosida  shunday 
boshlang'ich  postulat  va  aksiomalar  qo‘yiladiki,  qolgan  barcha  qoidalar  (teore- 
malar)  undan  kelib  chiqadi.  U  miloddan  avvalgi  VII  -   VI  asrlarda  shakllangan, 
asoschisi  matematik  olim  Pifagordir.  Aksiomatik  nazariyaning  quyidagi  asosiy 
tamoyillari  mavjud:
-   ziddiyatsizlik  -   aksiomalar  tizimining  shunday  xossasiki,  unga  ko'ra,  siste- 
maning hech  qanday ikkita holati bir-biriga zid kelmasligi  kerak.  Bunda  aksiomalar 
tizimi  o‘zida  rost va yolg'on  orasidagi  farqni  aks  ettirishi  kerakligi nazarda tutiladi;
-   to'lalik  -   aksiomalar  sistemasiga  qandaydir  jumlani  qo'shganimizda  siste- 
mada  ziddiyat  sodir  bo'ladi;
-   bog'liqsizlik  -   berilgan  aksiomalar  sistemasining  u  yoki  bu  sistemalari  shu 
sistemaning  boshqa  sistemalari  yordamida  isbot  qilinishi  mumkin  emas.
Algoritm 
(lotincha  «algoritmus»  -   «ibtido»  m a’nosini  anglatadi;  bu  so'zning 
etimologiyasi  buyuk  alloma  Al-Xorazmiy nomi  bilan  bogiiq.  U  Yevropada  buzil- 
gan shaklda «Algorithmi» tarzida ishlatilgan) -  ma’lum bir tipga oid hamma masala- 
larni  yechishda  ishlatiladigan  jarayonlar  tizimining  muayyan  tartibda  bajarilishi 
haqidagi  aniq  qoida  yoki  qoidalar  tizimi.