Verbum

АНА́ЛІЗ

(ад грэч. analysis раскладанне),

спосаб (прыём) навук. пазнання праз мысленнае ці рэальнае расчляненне аб’екта пазнання (прадмета, з’явы, працэсу) на часткі і асэнсаванне іх узаемасувязі. Працэс аналізу — састаўная частка, першая ступень навук. даследавання. Канчатковы вынік — разуменне структуры аб’екта, які вывучаецца. Калі аб’ект з’яўляецца прадстаўніком пэўнага класа прадметаў, аналіз аднаго з іх дае магчымасць уявіць структуру ўсяго класа. Вынікі аналізу служаць матэрыялам для наступных ступеняў навук. пазнання — абстракцыі, абагульнення, параўнання і інш. Аналіз — рухальная сіла ў выяўленні законаў, якім падпарадкоўваецца аб’ект даследавання. Карэктнасць аналізу правяраецца процілеглым яму прыёмам — сінтэзам. Калі пры гэтым выяўляецца супярэчнасць, аналіз паўтараецца з вылучэння новых гіпотэз аб структуры і ўласцівасцях састаўных частак аб’екта вывучэння. Калі паўторны аналіз паказаў неадольнасць супярэчнасцяў, то для выяўлення структуры аб’екта неабходны новы падыход. У логіцы сістэмны аналіз выкарыстоўваецца з часоў Арыстоцеля. Са з’яўленнем сімвалічнай логікі, кібернетыкі і семіётыкі выпрацавана найб развітая форма лагічнага аналізу — пабудовы фармалізаваных моў.

Літ.:

Пузиков П.Д. Анализ и синтез — от мысли к вещи. Мн., 1969;

Андреев М.Д. Диалектическая логика. М., 1985;

Hintikka J., Remes U. The method of analysis. Dordrecht;

Boston, 1974.

В.М.Пешкаў.

т. 1, с. 333

АЎТАМА́ТАЎ ТЭО́РЫЯ,

раздзел тэарэтычнай кібернетыкі, які даследуе пераўтваральнікі дыскрэтнай інфармацыі. Узнікла ў сярэдзіне 20 ст. ў сувязі з развіццём тэорыі выліч. машын, тэорыі алгарытмаў. Асн. паняцці — абстрактны аўтамат і кампазіцыя аўтаматаў. Першае характарызуе алгарытм функцыянавання прыстасавання (алгарытм перапрацоўкі інфармацыі, які яно рэалізуе), складаецца з 3 непустых мностваў (станаў, уваходных і выхадных сігналаў) і 2 функцый (выхаду і пераходу). Другое характарызуе структуру прыстасавання, прынцыпы яго пабудовы з больш простых элементаў. Аўтаматаў тэорыя складаецца з абстрактна-алг., структурнай тэорыі і тэорыі імавернасных аўтаматаў і самаарганізоўных сістэм.

У абстрактна-алг. аўтаматаў тэорыі даследуюцца ўласцівасці абстрактнага аўтамата і спосабы яго задання. У структурнай аўтаматаў тэорыі аўтамат выяўляецца ў выглядзе сеткі, элементы якой выбраны з папярэдне зададзенай сукупнасці элементарных аўтаматаў. Яны злучаны паміж сабой і ажыццяўляюць запамінанне і пераўтварэнне элементарных сігналаў. Тэорыя імавернасных аўтаматаў і самаарганізоўных сістэм выкарыстоўваецца пры праектаванні і аўтаматызацыі праектавання дыскрэтных канструкцый і выліч. машын. Мае важнае значэнне для тэорыі алгарытмаў, тэорыі фармальных машын сістэм, тэорыі праграмавання і інш.

На Беларусі даследаванні па аўтаматаў тэорыі праводзяцца з 1956 у Мінскім пед. ун-це, ін-тах матэматыкі і тэхн. кібернетыкі АН.

Літ.:

Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. 3 изд. М., 1989;

Закревский А.Д. Алгоритмы синтеза дискретных автоматов. М., 1971.

А.Дз.Закрэўскі.

т. 2, с. 114