переводиться в алгоритм.
Можливість формалізації спирається на фундаментальне положення, яке ми будемо називати основною тезою формалізації. Суть його полягає у принциповій можливості поділу об'єкта і його позначення (імені об'єкта).
Суть об'єкта не змінюється від того, як ми його назвемо. Це означає, що ми можемо назвати його як завгодно, надати його імені будь-яку форму, яка, на нашу думку, краще відповідає даному об'єкту.
Приклад.
Пристрій для автоматичного оброблення інформації можна назвати комп'ютером, електронно-обчислювальною машиною, цифрової обчислювальної машиною, ЕОМ, ПК, а можна дати йому якесь ласкаве зменшувальне ім'я.
Заперечення основної тези формалізації означає, що ім'я об'єкта виражає його суть. У цьому випадку у кожного об'єкта може бути тільки одне ім'я. Такий погляд існував в давнину. p> Приклад.
Старозавітний заборона на проголошення імені Бога пов'язаний з тим, що воно ототожнювалося з самим Богом і проголошення імені розцінювалося як дотик до Бога, що було допустимо тільки для обраних. З цим же пов'язаний звичай американських індіанців давати ім'я тільки дорослій людині, коли він зуміє якось проявити себе. В даний час цей погляд знаходить відображення в поширеному думці, що ім'я, що дається дитині, впливає на його характер і долю.
З основного тези формалізації слід сама ідея моделювання. Оскільки об'єкт потрібно якось позначати, то необхідно ввести деякий набір знаків для позначення. Знак - це елемент кінцевого безлічі відмітних один від одного елементів. Так як позначення ми можемо вибрати досить довільно, то можливі набори знаків можуть бути найрізноманітнішими.
Приклад.
А, Б, В, Г - знаки для позначення звуків російської мови;
+, -, *,: - знаки для позначення арифметичних операцій;
- знаки для позначення напряму руху;
- знаки для позначення магнітних носіїв інформації;
- знаки для позначення операцій над множинами;
- знаки для позначення сигналу небезпеки.
Поняття знака є одним з базисних понять науки (також як і поняття В«інформаціяВ», В«подобуВ», В«безлічВ», В«Об'єктВ»), а тому дати його точне визначення не представляється можливим. p> Але можна вказати деякі основні риси знака:
1) здатність знака виступати заступником обозначаемого. У семіотиці - науці про знаки - позначуване називають денотатом (коли є пара В«денотат - знакВ»);
2) нетотожність знаку і денотата - знак ніколи не може повністю замінити позначуване;
3) багатозначність відповідності В«знак - денотат В».
Перші дві особливості цілком зрозумілі, останню пояснимо на наступному прикладі.
Приклад.
Зоровому образу рис.4 може бути надано сенс: літери В«ерВ» російської мови, букви В«piВ» англійської мови, хімічного елемента фосфор, знака стоянки в правилах дорожнього руху. Те Тобто один і...