Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формальный язык<.>)

Общее количество найденных документов : 9
Показаны документы с 1 по 9

IPRBooks-47725

47725

Малявко, А. А.
Формальные языки и компиляторы [Электронный ресурс] : учебник / Малявко А. А. - Новосибирск : Новосибирский государственный технический университет, 2014. - 431 с. - ISBN 978-5-7782-2318-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
компилятор -- программирование -- формальный язык
Аннотация: Изложены теоретические основы аппарата определения лексики (регулярные выражения) и синтаксиса (формальные грамматики) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных выражений в конечный автомат – лексический анализатор. Изучаются нисходящие и восходящие методы синтаксического анализа, основанные на преобразовании формальных грамматик в конечные автоматы с магазинной памятью. Рассматриваются различные способы решения задачи нейтрализации синтаксических ошибок. Изучаются наиболее типичные задачи, решаемые на этапе семантического анализа: организация памяти программы, доступ к локальным и нелокальным данным, контроль типов. Обсуждаются основные задачи генератора кода, такие как управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Приводится описание учебного программного обеспечения и методические указания по выполнению лабораторных работ и курсового проектирования. Учебник рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин, а также студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-54809

54809

Молдованова, О. В.
Языки программирования и методы трансляции [Электронный ресурс] : учебное пособие / Молдованова О. В. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2012. - 134 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.4

ББК 32.973

Кл.слова (ненормированные):
компилятор -- лексический анализатор -- метод трансляции -- синтаксический анализатор -- формальный язык -- язык программирования
Аннотация: Учебное пособие предназначено для студентов, обучающихся по направлению 230100 «Информатика и вычислительная техника» и изучающих дисциплину «Теория языков программирования и методы трансляции». В нём содержится материал, предназначенный для проведения практических или лабораторных занятий по указанному учебному курсу с целью изучения основных принципов теории формальных языков и грамматик, а также методов лексического и синтаксического анализа современных языков программирования.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-45019

45019

Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2012 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 / Малявко А. А. - 2012. - 120 с. - ISBN 978-5-7782-1960-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.43

ББК 32.97

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-45018

45018

Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.43

ББК 32.97

Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- синтаксический анализ -- нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-45017

45017

Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 [Электронный ресурс] : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2010 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 / Малявко А. А. - 2010. - 104 с. - ISBN 978-5-7782-1429-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.43

ББК 32.97

Кл.слова (ненормированные):
системное обеспечение -- программное обеспечение -- формальный язык -- метод трансляции -- компилятор -- интерпретатор
Аннотация: В первой части рассмотрены процедурная и автоматная модели лексического анализа, изложены теоретические основы аппарата определения лексики (регулярные выражения) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных определений в лексический анализатор, способы организации информационных таблиц трансляторов, алгоритмы поиска в таблицах и пополнения таблиц. Адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-97548

97548

Пентус, А. Е.
Математическая теория формальных языков [Электронный ресурс] : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519

ББК 22.1

Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.

(для доступа требуется авторизация)

Доп.точки доступа:
Пентус, М. Р.
Свободных экз. нет
Найти похожие

IPRBooks-99047

99047

Миронов, С. В.
Формальные языки и грамматики [Электронный ресурс] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Миронов С. В. - Саратов : Издательство Саратовского университета, 2019. - 80 с. - ISBN 978-5-292-04613-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

519.682.1

ББК 32.973

Кл.слова (ненормированные):
грамматика -- информатика -- информационные технологии -- формальный язык
Аннотация: Пособие представляет собой введение в математическую теорию формальных языков. Приводятся основные определения, понятия и факты с целью подготовки студента к дальнейшим курсам по теории сложности и трансляции, методам обработки текстовой информации. Для студентов факультета компьютерных наук и информационных технологий, обучающихся по направлениям «Фундаментальная информатика и информационные технологии», «Математическое обеспечение и администрирование информационных систем», «Программная инженерия».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-87427

87427

Алымова, Е. В.
Конечные автоматы и формальные языки [Электронный ресурс] : учебник / Алымова Е. В. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 292 с. - ISBN 978-5-9275-2397-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.4

ББК 32.973

Кл.слова (ненормированные):
булева алгебра -- конечный автомат -- контекстно-свободный язык -- магазинная память -- праволинейная грамматика -- регулярный язык -- формальный язык
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.

(для доступа требуется авторизация)

Доп.точки доступа:
Деундяк, В. М.; Пеленицын, А. М.
Свободных экз. нет
Найти похожие

IPRBooks-95042

95042

Егоров, Д. Л.
Теория вычислительных процессов и структур [Электронный ресурс] : учебное пособие / Егоров Д. Л. - Казань : Казанский национальный исследовательский технологический университет, 2018. - 92 с. - ISBN 978-5-7882-2378-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

Кл.слова (ненормированные):
автоматная модель -- вычислительный процесс -- программирование -- сеть -- формальный язык -- цифровой автомат
Аннотация: Представлены основы теории вычислительных процессов и структур, в том числе вопросы, связанные с представлением, анализом и моделированием вычислительных процессов, а также программ, которые их порождают, и устройств, на которых они выполняются. Рассмотрены основы теорий формальных языков, автоматов, схем программ и др. Предназначено для студентов, обучающихся по направлениям 01.03.02 «Прикладная математика и информатика», 02.03.03 «Математическое обеспечение и администрирование информационных систем», 09.03.01 «Информатика и вычислительная техника». Подготовлено на кафедре интеллектуальных систем и управления информационными ресурсами.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 26.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)