RU

Формалды тілдер және шекті автоматтар

  • Тақырыпта компьютерлердің абстрактілі модельдері (ақырлы машиналар, дүкен жады машиналары және Тьюринг машиналары, жолдар, тілдер және негізгі дәлелдеу әдістері) және олар танитын немесе жасайтын тілдік сыныптар (тұрақты өрнек, тұрақты грамматика, тұрақты тілдер, ақырлы машиналар, олардың өзара байланысы және қасиеттері, контекстсіз тілдерге кіріспе) қарастырылады. Сонымен бірге, компиляторларды, алгоритмдерді және күрделілік теориясын жобалау үшін бұл модельдердің қосымшалары да ұсынылған.
  • Образовательная программа 6B02302 Когнитивті ғылымі
  • ВУЗ Университет КИМЭП
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 3
Top