ДОСЛІДЖЕННЯ РОБОТИ МАШИНИ ТЮРІНГА. Навчально-методичний посібник

Резюме

Матеріал 1-го видання навчально-методичного посібника «Дослідження роботи машини Тьюринга» з дисципліни «Теорія алгоритмів» (затверджено науково-методичною радою Харківського національного університету будівництва та архітектури, протокол № 8 від 28.05.15) доповнено та перероблено вступ, допрацьовані задачі з прикладами їхнього розв’язання. Розглянуто питання формального уточнення поняття алгоритму за допомогою машини Тюрінга; викладено принципи роботи машини Тюрінга як абстрактної математичної моделі алгоритмів та універсального визначення поняття алгоритму; розглянуто абстрактний виконавець, призначений для формалізації поняття алгоритму. Навчально-методичний посібник вміщує теоретичний матеріал, який стосується автоматного програмування. Для закріплення знань пропонуються детальні пояснення функціональних схем машин Тюрінга та варіанти індивідуальних завдань до практичних занять та самостійного вивчення тем. Призначено для студентів спеціальностей 122 «Комп’ютерні науки», 126 «Інформаційні системи та технології», а також усіх тих, хто цікавиться цими питаннями.