На головну

мовна машина

Так як синтаксичні перетворення L1 > L2 в рамках формалізованого мови визначаються тільки фізичним виглядом об'єктів Li, Формалізована мова є, по суті, машина, яка виробляє різні переміщення символів. Для повністю алгоритмізованого мови, наприклад арифметики, цю тезу можна вважати цілком очевидним і ілюструється існуванням машин в звичайному, вузькому сенсі слова (арифмометр, електронна обчислювальна машина), що виконують арифметичні алгоритми. Якщо правила перетворення являють собою лише обмеження, то, по-перше, можна побудувати алгоритм, який по заданих L1 и L2 визначає, чи законно перетворення L1 > L2, По-друге, можна побудувати алгоритм ( «дурний»), який по заданому L1 починає видавати всі законні результати L2 і продовжує цей процес до нескінченності, якщо число можливих L2 НЕ обмежено. В обох випадках ми маємо справу з деякою мовної машиною, Яка може працювати без втручання людини.

Формалізація мови має два безпосередніх слідства. По - перше, спрощує процес використання мовних моделей, бо з'являються чіткі правила перетворення L1 > L2. У граничному випадку повної алгоритмізації це перетворення взагалі може здійснюватися автоматично. По-друге, мовна модель стає незалежною від створив її людського мозку, вона стає об'єктивною моделлю дійсності. Її семантика відображає, звичайно, поняття, що виникли в процесі розвитку культури людського суспільства, але і по синтаксису вона являє собою мовну машину, яка може продовжувати працювати і зберігати свій сенс моделі дійсності навіть у тому випадку, якщо все людство раптово вимре. Вивчаючи цю модель, розумна істота, що має певне уявлення про предмет моделювання, зможе, ймовірно, шляхом зіставлення моделі зі своїми знаннями, відновити семантику мови. Уявімо собі, що люди побудували механічну модель Сонячної системи, в якій планети зображуються кульками відповідних розмірів, що обертаються на стерженьках навколо центрального кулі - Сонця по відповідним орбітам і з відповідними періодами. І припустимо, що ця модель потрапила в руки (або в щупальця?) Мешканців сусідньої зоряної системи, які дещо знають про нашу Сонячну систему, наприклад відстані до Сонця декількох планет або часи їх звернення. Тоді вони зможуть збагнути, що знаходиться перед ними, і отримають додаткові відомості про Сонячну систему. Те саме можна сказати і до наукових теорій, які суть моделі реальності в різних її аспектах, виконані в матеріалі формалізованого знакового мови. Подібно механічної моделі Сонячної системи кожна з них може бути, в принципі, розшифрована і використана будь-якими розумними істотами.



 формалізований мову |  Чотири типу мовної діяльності

 Число і величина |  геометрична алгебра |  Архімед і Аполлоній |  Занепад грецької математики |  арифметична алгебра |  Італія, XVI століття |  буквена символіка |  Ставлення як об'єкт |  Декарт і Ферма |  Шлях до відкриття |

© um.co.ua - учбові матеріали та реферати