<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">infoschool</journal-id><journal-title-group><journal-title xml:lang="ru">Информатика в школе</journal-title><trans-title-group xml:lang="en"><trans-title>Informatics in school</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2221-1993</issn><publisher><publisher-name>Publishing House Education and Informatics</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.32517/2221-1993-2023-22-6-31-40</article-id><article-id custom-type="elpub" pub-id-type="custom">infoschool-749</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>МЕТОДИЧЕСКАЯ КОПИЛКА</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>TEACHING PRACTICES</subject></subj-group></article-categories><title-group><article-title>Учебная программная среда для изучения абстрактных вычислительных машин Тьюринга и Поста</article-title><trans-title-group xml:lang="en"><trans-title>Educational software environment for the study of abstract Turing and Post computing machines</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Кочигина</surname><given-names>А. М.</given-names></name><name name-style="western" xml:lang="en"><surname>Kochigina</surname><given-names>A. M.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Кочигина Анна Михайловна, студентка 5-го курса кафедры теории и методики обучения информатике физико-математического факультета</p><p>150000, г. Ярославль, ул. Республиканская, д. 108</p></bio><bio xml:lang="en"><p>Yaroslavl</p></bio><email xlink:type="simple">kociginaanna@gmail.com</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Корнилов</surname><given-names>П. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Kornilov</surname><given-names>P. A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Корнилов Петр Анатольевич, канд. физ.-мат. наук, доцент, зав. кафедрой теории и методики обучения информатике</p><p>150000, г. Ярославль, ул. Республиканская, д. 108</p></bio><bio xml:lang="en"><p>Yaroslavl</p></bio><email xlink:type="simple">kornilovpa@yandex.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Ярославский государственный педагогический университет им. К. Д. Ушинского</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Yaroslavl State Pedagogical University named after K. D. Ushinsky</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2023</year></pub-date><pub-date pub-type="epub"><day>26</day><month>12</month><year>2023</year></pub-date><volume>0</volume><issue>6</issue><fpage>31</fpage><lpage>40</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Кочигина А.М., Корнилов П.А., 2023</copyright-statement><copyright-year>2023</copyright-year><copyright-holder xml:lang="ru">Кочигина А.М., Корнилов П.А.</copyright-holder><copyright-holder xml:lang="en">Kochigina A.M., Kornilov P.A.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://school.infojournal.ru/jour/article/view/749">https://school.infojournal.ru/jour/article/view/749</self-uri><abstract><p>Федеральная рабочая программа среднего общего образования по информатике на углубленном уровне предполагает знакомство школьников с машинами Тьюринга и Поста как универсальными моделями вычислений. Использование в учебном процессе интерпретаторов машин Тьюринга и Поста позволяет преодолеть затруднения, связанные с обучением, опирающимся на абстрактно-логическое мышление. В статье описаны возможности разработанной авторами учебной программной среды, в которой для каждой вычислительной машины содержатся три раздела. В разделе «Теория» учащиеся могут познакомиться с особенностями работы машин Поста и Тьюринга. Раздел «Тренажер» позволяет пользователю составить собственные примеры программ или проанализировать готовые, в данном разделе есть возможность выполнить программу по шагам, при этом каждый шаг будет сопровождаться комментариями. Кроме того, в этом разделе можно выполнить лабораторную работу, задания которой генерируются случайным образом согласно шаблону. С помощью раздела «Контроль» учитель может проверить знания школьников по данной теме с помощью серии задач — каждое задание выбирается случайным образом из заготовленной базы задач. Описанная в статье учебная программная среда позволяет организовать как фронтальную, так и индивидуальную работу учащихся.</p></abstract><trans-abstract xml:lang="en"><p>The Federal Work Program of Secondary General Education in Informatics at an in-depth level involves familiarization of schoolchildren with Turing and Post machines as universal models of computing. The use of Turing and Post machines interpreters in the educational process makes it possible to overcome the difficulties associated with learning based on abstract logical thinking. The article describes the possibilities of the educational software environment developed by the authors, which contains three sections for each computer. In the "Theory" section, students can get acquainted with the features of the Post and Turing machines. The "Simulator" section allows the user to create their own examples or analyze ready-made ones, in this section it is possible to run the program step by step, with each step accompanied by comments. In addition, in this section, you can perform laboratory work, the tasks of which are randomly generated according to a template. With the help of the "Control" section, the teacher can test students' knowledge on this theme by solving a series of tasks. Each task is randomly selected from the prepared database of tasks. The principle of gradualness and sequence of tasks is observed. The educational software environment described in the article allows you to organize both front-end and individual work of students.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>абстрактные вычислительные машины</kwd><kwd>машина Тьюринга</kwd><kwd>машина Поста</kwd><kwd>учебная программная среда</kwd></kwd-group><kwd-group xml:lang="en"><kwd>abstract computing machines</kwd><kwd>Turing machine</kwd><kwd>Post machine</kwd><kwd>educational software environment</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Ефремов Е. Л. Алгоритмы вычисления частичных функций: учебно-методическое пособие. Владивосток: Изд‑во Дальневосточного федерального университета, 2021. 48 с.</mixed-citation><mixed-citation xml:lang="en">Ефремов Е. Л. Алгоритмы вычисления частичных функций: учебно-методическое пособие. Владивосток: Изд‑во Дальневосточного федерального университета, 2021. 48 с.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Колдунова И. Д. Визуализация процесса обучения теории алгоритмов // Решетневские чтения. 2014. Т. 3. С. 90–93. EDN: TRPBSJ.</mixed-citation><mixed-citation xml:lang="en">Колдунова И. Д. Визуализация процесса обучения теории алгоритмов // Решетневские чтения. 2014. Т. 3. С. 90–93. EDN: TRPBSJ.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Машина Поста // Преподавание, наука и жизнь: сайт Константина Полякова. https://kpolyakov.spb.ru/prog/post.htm</mixed-citation><mixed-citation xml:lang="en">Машина Поста // Преподавание, наука и жизнь: сайт Константина Полякова. https://kpolyakov.spb.ru/prog/post.htm</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Машина Поста // Лаборатория Паскаля. http://pyabc.ru/post.php</mixed-citation><mixed-citation xml:lang="en">Машина Поста // Лаборатория Паскаля. http://pyabc.ru/post.php</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Машина Тьюринга // Преподавание, наука и жизнь: сайт Константина Полякова. https://kpolyakov.spb.ru/prog/turing.htm</mixed-citation><mixed-citation xml:lang="en">Машина Тьюринга // Преподавание, наука и жизнь: сайт Константина Полякова. https://kpolyakov.spb.ru/prog/turing.htm</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Пильщиков В. Н., Абрамов В. Г., Вылиток А. А., Горячая И. В. Машина Тьюринга и алгоритмы Маркова. Решение задач. М.: МГУ, 2016. 72 с.</mixed-citation><mixed-citation xml:lang="en">Пильщиков В. Н., Абрамов В. Г., Вылиток А. А., Горячая И. В. Машина Тьюринга и алгоритмы Маркова. Решение задач. М.: МГУ, 2016. 72 с.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Поляков К. Ю., Еремин Е. А. Информатика. Углубленный уровень: учебник для 11 класса: в 2 ч. Ч. 2. М.: БИНОМ. Лаборатория знаний, 2013. 304 с.</mixed-citation><mixed-citation xml:lang="en">Поляков К. Ю., Еремин Е. А. Информатика. Углубленный уровень: учебник для 11 класса: в 2 ч. Ч. 2. М.: БИНОМ. Лаборатория знаний, 2013. 304 с.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Успенский В. А., Семенов А. Л. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987. 288 с.</mixed-citation><mixed-citation xml:lang="en">Успенский В. А., Семенов А. Л. Теория алгоритмов: основные открытия и приложения. М.: Наука, 1987. 288 с.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Фалина И. Н., Радченко Е. Л. Изучение машины Поста в школьном курсе информатики // Информатика. 2007. № 1. С. 31–36.</mixed-citation><mixed-citation xml:lang="en">Фалина И. Н., Радченко Е. Л. Изучение машины Поста в школьном курсе информатики // Информатика. 2007. № 1. С. 31–36.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Федеральная рабочая программа среднего общего образования. Информатика (углублённый уровень) (для 10–11 классов образовательных организаций) // Единое содержание общего образования. https://edsoo.ru/wp-content/uploads/2023/08/22_ФРП_Информатика-10-11-классы_угл.pdf</mixed-citation><mixed-citation xml:lang="en">Федеральная рабочая программа среднего общего образования. Информатика (углублённый уровень) (для 10–11 классов образовательных организаций) // Единое содержание общего образования. https://edsoo.ru/wp-content/uploads/2023/08/22_ФРП_Информатика-10-11-классы_угл.pdf</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Чухнов А. С., Поздняков С. Н. Конструктивные задачи по дискретной математике: сравнительный анализ экзамена с компьютером и без компьютера // Компьютерные инструменты в образовании. 2022. № 1. С. 57–84. EDN: YEKZVK. DOI: 10.32603/2071-2340-2022-1-57-84</mixed-citation><mixed-citation xml:lang="en">Чухнов А. С., Поздняков С. Н. Конструктивные задачи по дискретной математике: сравнительный анализ экзамена с компьютером и без компьютера // Компьютерные инструменты в образовании. 2022. № 1. С. 57–84. EDN: YEKZVK. DOI: 10.32603/2071-2340-2022-1-57-84</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Эмулятор машины Тьюринга // Сообщество Programforyou. https://programforyou.ru/calculators/turingmachineemulator</mixed-citation><mixed-citation xml:lang="en">Эмулятор машины Тьюринга // Сообщество Programforyou. https://programforyou.ru/calculators/turingmachineemulator</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
