Изчислимост

от Уикипедия, свободната енциклопедия
Направо към: навигация, търсене

Изчислимост (поддаващ се на изчисление) (на английски: computation) в информатиката е атрибут на всеки тип изчисление[1][2], което включва математични и не-аритметични стъпки и следва добре дефиниран концептуален модел, който се поддава на описание, например алгоритъм.

Термините изчислим, разрешим, решим и рекурсивен до голяма степен са синоними и говорят за наличието на алгоритъм за решаване. Тюринговата дефиниция за изчислимост по същество е същата: операция, която може да се осъществи от машина[3]

Източници[редактиране | редактиране на кода]