Теоретична информатика: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м Борислав: замяна, добавяне или махане на знаци |
м +кат |
||
Ред 2:
Формални системи, автомати, графи и синтактични диаграми се използват за точно описание на вътрешната логика на формални проблеми. Обикновено тази формална стъпка е основна част от решението на същинския проблем.
[[Категория:Теоретична информатика]]
| |||