Теоретична информатика
от Уикипедия, свободната енциклопедия
Теоретичната информатика се занимава с формални езици, теория на автоматите, логика, разработка и анализ на алгоритми, формална семантика и дава основите за компилатори и математическото формализиране на проблеми. Тя е формалният „гръбнак“ на информатиката.
Формални системи, автомати, графи и синтактични диаграми се използват за точно описание на вътрешната логика на формални проблеми. Обикновено тази формална стъпка е основна част от решението на същинския проблем.