Единое окно доступа к образовательным ресурсам

  1. Фильтр ресурсов
  1. Отобранных ресурсов 20

    Аудитория
    4

    19

    19

    Тип ресурса


    Уровень образования

  • Определение, распознавание и преобразование профессиональных языков

    http://www.unn.ru/vmk/graphmod/data/archive/proflang.pdf

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

    Тип материала: Методические указания; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее; Послевузовское;

  • Языки и трансляции

    http://www.math.spbu.ru/user/mbk/content.html

    В учебном пособии Б.К.Мартыненко излагаются основы математической теории формальных языков и трансляций, знание которой необходимо всем, кто работает в области теоретической или прикладной информатики. Содержание основано на материалах лекций, читаемых в Санкт-Петербургском государственном университете. Пособие предназначено для студентов математических факультетов университетов, изучающих синтаксические методы в информатике. Материал предлагается в виде файлов в формате pdf и их архивированных вариантов в формате zip.

    Тип материала: Лекция, курс лекций; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее; Послевузовское;

  • Модели алгоритмического типа для распознавания семантических связей в системах машинной обработки естественного языка

    http://fccl.ksu.ru/issue001/spring.98/pol_thes.pdf

    В работе проводится исследование природы семантических связей в предложении и высказывании естественного языка с целью построения алгоритмических моделей для их обработки. Исследовались виды семантических примитивов в модели языка, их внутренняя структура , способы организации графовых структур. Материал предлагается в виде файла формата pdf.

    Тип материала: Статья; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее; Послевузовское;

  • Теория автоматов

    Дудкин В.С.

    Дисциплина "Теория автоматов" входит в учебный план подготовки дипломированных специалистов по направлению 654600 - "Информатика и вычислительная техника" по специальности 220100 - "Вычислительные машины, комплексы, системы и сети". Целью дисциплины является изучение элементов теории конечных автоматов, основных этапов абстрактного и структурного синтеза конечных автоматов, элементов теории формальных грамматик; приобретение умений синтеза по заданному автоматному отображению конечного автомата в заданном структурном базисе, пользования стандартами ЕСКД при выполнении схем управляющих автоматов, построения магазинного автомата, реализующего перевод; получение представлений об актуальных задачах теории автоматов и соответствии классов языков и моделей автоматов. Рабочая программа подготовлена на кафедре Вычислительной техники факультета Компьютерных технологий и информатики СПбГЭТУ. Читается на 3-м курсе: 96 часов аудиторных занятий (лекции 80 час., курсовое проектирование 16 час.).

    Тип материала: Учебная программа; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;

  • Теория автоматов и формальных языков

    Захаров В.А.

    Дисциплина "Теория автоматов и формальных языков" входит в учебный план подготовки бакалавров по направлению 511900 - "Информационные технологии". Дисциплина ставит своей целью ознакомление учащихся с устройством теории формальных языков, а также с основными принципами, методами и алгоритмами синтаксического анализа формальных языков (в т.ч. языков программирования).
    В рамках этой дисциплины планируется дать учащимся систематические знания о способах описания формальных языков, моделях вычислений, используемых для представления формальных языков, о задаче синтаксического анализа и методах ее решения.
    Рабочая программа подготовлена на факультете Вычислительной математики и кибернетики МГУ.

    Тип материала: Учебная программа; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;

  • Концепции конечного автомата и регулярного языка. Операции над регулярными языками: Учебно-методическая разработка

    Коган Д.И., Бабкина Т.С.

    Методическая разработка предназначена для самостоятельной работы студентов специальности "Прикладная информатика" над материалом темы, входящей в состав учебного курса "Теория алгоритмов и математическая логика". Вводятся понятие формального языка и действия над формальными языками, включая основные теоретико-множественные операции. Излагается концепция конечного автомата (в детерминированном и недетерминированном вариантах). Показывается, что операции, объединения, пересечения, дополнения, конкатенации и итерации не выводят из класса регулярных языков. Приводятся соответствующие алгоритмы синтеза конечных автоматов. Подготовлено на кафедре информатики и автоматизации научных исследований факультета ВМК ННГУ.

    Тип материала: Учебник, учебное пособие; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее;

  • Лекции по информатике: Теория формальных языков, часть 1

    http://logic.pdmi.ras.ru/~hirsch/students/cs-math/lecture9.pdf

    Раздел лекционного курса "Теория формальных языков", включающий темы: Языки; Регулярные выражения и грамматики; Недетерминированные конечные автоматы. Материалы представлены в виде файла формата pdf.

    Тип материала: Лекция, курс лекций; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее; Послевузовское;

  • Формальные языки, грамматики и автоматы: Курс лекций

    http://www.eltech.ru/misc/LGA_2007_FINAL/Index.html

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

    Тип материала: Лекция, курс лекций; | Аудитория: Учащийся; Преподаватель; | Уровень образования: Высшее; Послевузовское;

  • Технология автоматного программирования

    http://is.ifmo.ru/?i0=works&i1=tech_aut_prog

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

    Тип материала: Статья; | Аудитория: Учащийся; Преподаватель; Исследователь; | Уровень образования: Высшее; Послевузовское;

  • Введение в теорию автоматов: Курс Интернет-университета информационных технологий

    http://www.intuit.ru/department/algorithms/intavth/

    В курсе приводятся начальные сведения об абстрактных автоматах Мили и Мура. Даются возможные способы представления автоматов: теоретико-множественное, графовое, табличное и матричное, понятия реакции автомата и эквивалентных автоматов. Приводятся методы взаимного эквивалентного преобразования автоматов. Приводятся общие сведения о микропрограммном управлении, понятия микрокоманды, микрооперации, микропрограммы, способы представления микропрограмм в виде граф-схем алгоритмов (ГСА) , формул переходов, матричных и логическим схем алгоритмов. Приводятся методы разметки ГСА и правила построения по ним автоматов Мили и Мура. Дается понятие совмещенного автомата и способы его представления. Рассматриваются методы канонического синтеза структурных автоматов. Приводятся примеры синтеза памяти структурного автомата на базе RS-, Т- и D-триггеров.

    Тип материала: Электронный учебный курс; | Аудитория: Учащийся; Преподаватель; Исследователь; | Уровень образования: Высшее; Послевузовское; Переподготовка и повышение квалификации;

Яндекс цитирования Яндекс.Метрика