У теоретичній інформатиці та математиці теорія обчислень є галузь, яка має справу з тим, які проблеми можна вирішити на моделі обчислень, використовуючи алгоритм, наскільки ефективно їх можна розв’язати або до якої міри (наприклад, наближені рішення проти точних).
Теорія обчислень — це теоретична галузь інформатики та математики, яка в основному займається логікою обчислень відносно простих машин, які називаються автоматами. Ця теорія дозволяє вченим зрозуміти, як машини обчислюють функції та вирішують проблеми.
Теорія обчислень неймовірно важлива закладає основу для інформатики, визначаючи, які проблеми можна, а які не можна вирішити за допомогою обчислень. Це допомагає зрозуміти межі можливостей комп’ютерів, тим самим керуючи розробкою алгоритмів, структур даних і програмного забезпечення.
Його основне завдання — зчитувати вхідні символи та виводити послідовність токенів, які синтаксичний аналізатор використовує для наступної фази — синтаксичного аналізу.. Оскільки лексичний аналізатор є частиною компілятора, який читає вихідний текст, він також може виконувати певні другорядні завдання в інтерфейсі користувача.
Теорія обчислень забезпечує теоретичну основу для розуміння обчислень і алгоритмів. У результаті він може впливати на розвиток нових технологій, керуючи розробкою ефективних алгоритмів, оптимізуючи обчислювальні процеси та надихаючи на інноваційні рішення складних проблем.
CTM тому стверджує, що розум не просто аналогічний комп’ютерній програмі, але що він буквально є обчислювальною системою. Часто кажуть, що обчислювальні теорії розуму вимагають ментального представлення, оскільки «вхід» у обчислення надходить у формі символів або представлень інших об’єктів.