Начало
Учебные материалы
Вычислительные основы
Реальные компьютеры vs. модели вычислений Детерминированный конечный автомат Машина Тьюринга Нормальный алгоритм Маркова Теория рекурсивных функций * Практическое использование
Практическое использование
| Модель вычислений | Практическое использование |
|---|---|
| ДКА | компиляторы, обработка текстов, программирование и тестирование простых устройств |
| НАМ | обработка URL на веб-сервере |
| машина Тьюринга | - |
| рекурсивные функции | - |
| лямбда-исчисление | - |
