RU

Автоматтар теориясы

  • Автоматты анықтау әдістері, канондық теңдеулер, Мур диаграммасы. Автоматтардың изоморфизмі, қысқартылған автомат. Берілгенге эквивалентті қысқартылған автоматтың бірегейлігі туралы теорема. Абстрактілі автоматтар. Ақырлы автоматтарды ажырататын сөздің ұзындығы туралы Мур теоремасының қорытындысы. Ақырғы автоматтарды ажырататын сөздің ұзындығын бағалаудыңқол жетімділігі. Машиналармен эксперименттер. Минималды автоматтандырғышты жобалау мәселесі. Ақырғы автоматтар суперакцепторлар ретінде. Макнотонның теоремасы. Лабиринттердегі ақырлы автоматтар. Тастары бар машиналар, бояуы бар машиналар. Автоматтың жартылай тобы, автоматтардағы амалдардың олардың жартылай топтарындағы амалдармен байланысы. Субаавтомат туралы түсінік және автоматтың гомоморфты бейнесі. Автоматтарға ауызша амалдар. Шектеулі кіріс саны бар автоматтар жүйесі. Қос автоматтар жүйесінің толықтығы. Сызықтық машиналар. Суперпозицияға қатысты сызықтық автоматтар үшін толықтық мәселесі. Суперпозицияға және кері байланысқа қатысты автоматтардың ақырлы жүйелері үшін толықтық есебінің алгоритмдік шешілмеуі. Кудрявцевтің суперпозиция және кері байланыс операциялары үшін автоматтардың алдын ала толық кластарының континуумы туралы теоремасы. Логикалық функцияларды анық қамтитын автоматтар жүйелері. Олар үшін толықтық мәселесінің шешілу мәселесі.
  • Образовательная программа 7M07103 Өндірісті автоматтандыру және басқару (ғылыми-педагогикалық бағыт, 2 жылдық оқу)
  • ВУЗ Сафи Өтебаев атындағы Атырау мұнай және газ университеті
  • Несиелер 5
  • Селективті тәртіп
Top