Теория формальных автоматов: куда двигаться дальше? Душкин объяснит
Automata: как математики XX века изобрели язык для разговора с машинами
Представьте себе 1936 год. Европа на пороге войны, но в тихих кабинетах университетов происходит интеллектуальная революция, которая изменит мир сильнее любых армий. Молодой английский математик Алан Тьюринг задаётся вопросом, который кажется чисто философским: что такое вычисление? Можно ли формально описать, что значит «решить задачу»? Тьюринг не знает, что его размышления заложат фундамент компьютерной эры. Он придумывает воображаемую машину — бесконечную ленту с символами и считывающую головку, которая может двигаться влево-вправо, читать символы и записывать новые...
Элементы теории алгоритмов
Элементы теории алгоритмов... Звучит, конечно, страшно, но попробуем разобраться. Что такое алгоритм? Какие свойства имеет? Какие виды бывают? Что такое вспомогательный алгоритм и кому он помогает? Это и многое другое предлагаю рассмотреть прямо здесь и сейчас, доступным языком и на конкретных примерах. Согласен? Тогда листай и познавай ;) Алгоритм – всякая система вычислений по определенным данным, которые после числа шагов приводят к решению задачи. А.Н. Колмогоров Алгоритм – точное предписание, определенный вычислительный процесс, варьирует исходные данные к результату...