Логотип Информационно-коммуникационные технологии в образовании
  • От тьюрингова программирования к автоматному
  • От тьюрингова программирования к автоматному
    Шалыто А.А., Туккель Н.И.
    2002
    Шалыто А.А., Туккель Н.И. От тьюрингова программирования к автоматному // Мир ПК, 2002, №2. C.144-149.
    Санкт-Петербургский государственный университет информационных технологий, механики и оптики
    Статья, обзор
    2. Математич. и алгоритмич. основы программирования
    4. Программирование » 4.6. Технологии разработки программных систем
     
    Аннотация
    Настоящая работа посвящена преобразованию классической модели машины Тьюринга в другую модель, обеспечивающую переход от тьюрингова программирования к автоматному. Последнее весьма эффективно для систем со сложным поведением, характерным для задач управления или сводимым к ним, что демонстрируется на классических задачах распознавания цепочек. В настоящей работе показано, что при использовании предлагаемого подхода, изменение типа грамматики не приводит к необходимости использования модели другого типа, а вызывает лишь незначительное усложнение графа переходов. Отмечено, что если Дж. фон Нейман изменил машину Тьюринга для эффективной аппаратной реализации алгоритмов (например, введением арифметическо-логического устройства), то в настоящей работе делается аналогичная попытка преобразования этой машины с целью повышения эффективности программирования. При этом, если в машине Тьюринга автомат решает две задачи (управление и вычисление, не свойственное для него), то в предлагаемом подходе он решает только задачу управления, а вычисления осуществляются в объектах управления, предназначенных для этой цели (например, регистры, счетчики и т.д.).
    Файл публикации (формат Adobe PDF, размер 233 Кб) »
    © 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций
    (ФГАУ ГНИИ ИТТ "Информика")
    Rambler's Top100