Исследовательская работа «Машина Тьюринга для доказательства алгоритмической разрешимости олимпиадной задачи «Лягушачьи игры»»

Работа посвящена доказательству того, что требуемую рассадку лягушек можно получить всегда, то есть для любого числа зеленых и коричневых лягушек.

Актуальность настоящей работы определяется насущной необходимостью накопления теоретического и практического опыта разработки алгоритмов решения олимпиадных задач по информатике, а также необходимостью пропаганды научных знаний и подготовки учащихся к всероссийским и международным олимпиадам по информатике и  программированию.

Целью исследования является доказательство алгоритмической разрешимости олимпиадной задачи по информатике и программированию «Лягушачьи игры».

Для достижения данной цели необходимо сконструировать машину Тьюринга, решающую задачу достижения требуемой рассадки лягушек.

Объект исследования: олимпиадная задача по информатике и программированию «Лягушачьи игры».

Предмет исследования: возможность достижения требуемой рассадки лягушек в олимпиадной задаче по информатике «Лягушачьи игры».

Гипотеза исследования: задача достижения требуемой рассадки лягушек в олимпиадной задаче по информатике и программированию «Лягушачьи игры» алгоритмически разрешима.

Практическая значимость исследования заключается в приобретении знаний, умений и навыков доказательства алгоритмической разрешимости олимпиадных задач.