Алгебраїчний вираз

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Алгебраїчний вираз (англ. expression) — скінченна комбінація символів, граматично правильна щодо правил, застосовних в поточному контексті. Символи можуть позначати константи, змінні, операції, відношення, або можуть вводити пунктуацію чи інші синтаксичні сутності. Використання виразів може різнитися від простих арифметичних операцій подібних до

до складніших побудов, які можуть включати змінні, функції, факторіали, суми, похідні та інтеграли, наприклад

Однак побудови, які порушують синтаксичні правила подібні до

не є граматично вірними, і тому не є алгебраїчними виразами.[1]

Алгебраїчний вираз може бути використаний для встановлення значення, яке може залежати від значень присвоєних змінним, які зустрічаються в виразі; визначення значення залежить від семантики приписуваній символам у виразі. Ці правила можуть визначити, що деякі вирази не повертають значення; кажуть, що такі вирази повертають невизначене значення, проте це граматично вірні вирази. Загалом, сутність виразу не обмежується визначенням значення; наприклад, вираз може визначати умову, або рівняння, яке має бути розв'язане, або може розглядатись як об'єкт, над яким можна проводити дії зумовно певних правил. Деякі вирази можуть визначати значення і одночасно виражати умову, яка припускається вірною.

Дивись формальні мови для загальних міркувань з приводу як будуються вирази, і формальну семантику для питань стосовно змісту приписуваному виразам.

Змінні[ред. | ред. код]

Багато математичних виразів включають букви звані змінними. Будь-яка змінна може бути класифікована як вільна змінна або зв'язана змінна.

На різних наборах вільних змінних вираз може бути як визначеним так і невизначеним. Таким чином алгебраїчний вираз це функція на вході якої значення вільних змінних, а на виході відповідне значення виразу.[2]

Наприклад, вираз

обчислений для x = 10, y = 5, поверне 2; але невизначене для y = 0.

Обчислення виразу залежить від визначення математичних операторів і від системи значень, яка використовується в поточному контексті.

Два вирази називаються тотожними, якщо для кожної комбінації для вільних змінних, вони повертають однакові значення, тобто вони представляють одну функцію. Приклад: Вираз

має вільну змінну x, зв'язану змінну n, константи 1, 2, і 3, два неявних оператори добутку і оператор суми. Цей вираз тотожний виразу 12x.

Алгебраїчні вирази були формалізовані Алонсо Черчем та Стівеном Кліні[3] in the 1930 в лямбда-численні. Лямбда-числення склало найбільший вплив на розробку сучасної математики і мови програмування.[4]

Один з найцікавіших результатів лямбда-числення той, що задача тотожності двох виразів в деяких випадках нерозв'язна.

Див. також[ред. | ред. код]

Примітки[ред. | ред. код]

  1. Introduction to Algebra. Архів оригіналу за 10 грудня 2006. Процитовано 28 квітня 2011. 
  2. TalkTalk Reference Encyclopedia. Архів оригіналу за 22 січня 2012. Процитовано 29 квітня 2011. 
  3. Biographical Memoir of Stephen Kleene. Архів оригіналу за 26 жовтня 2008. Процитовано 29 квітня 2011. 
  4. Programming Languages and Lambda Calculi. Архів оригіналу за 5 лютого 2009. Процитовано 29 квітня 2011.