Теоретична информатика: Разлика между версии

 

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