Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A
Главная ИРБИС64+ Упрощенный режим Описание
Авторизация
Логин
Пароль
 

Базы данных


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

Вид поиска
Электронный каталог
Картотека журнальных статей
Систематический имидж-каталог
Авторефераты диссертаций
Учебники и учебно-методические пособия СПХФУ
ЭБС IPRBooks
ЭБС Консультант студента
ЭБС Юрайт
Диссертации, защищенные в СПХФУ
Журнальный фонд СПХФУ
Библиотечный фонд техникума
ВКР
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=формальный язык<.>)
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.

Вид документа : Однотомное издание
Шифр издания : 47725
Автор(ы) : Малявко А. А.
Заглавие : Формальные языки и компиляторы : Учебник
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2014
Колич.характеристики :431 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2318-9: Б.ц.
УДК : 62
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): компилятор--программирование--формальный язык
Аннотация: Изложены теоретические основы аппарата определения лексики (регулярные выражения) и синтаксиса (формальные грамматики) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных выражений в конечный автомат – лексический анализатор. Изучаются нисходящие и восходящие методы синтаксического анализа, основанные на преобразовании формальных грамматик в конечные автоматы с магазинной памятью. Рассматриваются различные способы решения задачи нейтрализации синтаксических ошибок. Изучаются наиболее типичные задачи, решаемые на этапе семантического анализа: организация памяти программы, доступ к локальным и нелокальным данным, контроль типов. Обсуждаются основные задачи генератора кода, такие как управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Приводится описание учебного программного обеспечения и методические указания по выполнению лабораторных работ и курсового проектирования. Учебник рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин, а также студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
(для доступа требуется авторизация)

Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 54809
Автор(ы) : Молдованова О. В.
Заглавие : Языки программирования и методы трансляции : Учебное пособие
Выходные данные : Новосибирск: Сибирский государственный университет телекоммуникаций и информатики, 2012
Колич.характеристики :134 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 004.4
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): компилятор--лексический анализатор--метод трансляции--синтаксический анализатор--формальный язык--язык программирования
Аннотация: Учебное пособие предназначено для студентов, обучающихся по направлению 230100 «Информатика и вычислительная техника» и изучающих дисциплину «Теория языков программирования и методы трансляции». В нём содержится материал, предназначенный для проведения практических или лабораторных занятий по указанному учебному курсу с целью изучения основных принципов теории формальных языков и грамматик, а также методов лексического и синтаксического анализа современных языков программирования.
(для доступа требуется авторизация)

Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 45019
Автор(ы) : Малявко А. А.
Заглавие : Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3: Учебное пособие. Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3
Выходные данные : : Новосибирский государственный технический университет Б.м., 2012
Колич.характеристики :120 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-1960-1: Б.ц.
УДК : 004.43
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): программное обеспечение--формальный язык--метод трансляции--семантический анализ--тип данных--оптимизация программы
Аннотация: В третьей части учебного пособия рассматриваются задачи, решаемые семантическими анализаторами и генераторами объектного кода трансляторов. Основное внимание уделяется принципам, закладываемым в организацию памяти транслируемой программы, и методам доступа к локальным и нелокальным данным процедур. На этой основе рассмотрены применяемые в современных языках подходы к контролю типов данных и функции семантического анализа. Обсуждаются основные задачи генератора кода, такие как формирование последовательности тетрад, управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Пособие адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
(для доступа требуется авторизация)

Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 45018
Автор(ы) : Малявко А. А.
Заглавие : Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2: Учебное пособие. Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2
Выходные данные : : Новосибирский государственный технический университет Б.м., 2011
Колич.характеристики :160 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-1668-6: Б.ц.
УДК : 004.43
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): программное обеспечение--формальный язык--метод трансляции--синтаксический анализ--нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
(для доступа требуется авторизация)

Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 45017
Автор(ы) : Малявко А. А.
Заглавие : Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1: Учебное пособие. Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1
Выходные данные : : Новосибирский государственный технический университет Б.м., 2010
Колич.характеристики :104 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-1429-3: Б.ц.
УДК : 004.43
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): системное обеспечение--программное обеспечение--формальный язык--метод трансляции--компилятор--интерпретатор
Аннотация: В первой части рассмотрены процедурная и автоматная модели лексического анализа, изложены теоретические основы аппарата определения лексики (регулярные выражения) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных определений в лексический анализатор, способы организации информационных таблиц трансляторов, алгоритмы поиска в таблицах и пополнения таблиц. Адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
(для доступа требуется авторизация)

Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 97548
Автор(ы) : Пентус А. Е., Пентус М. Р.
Заглавие : Математическая теория формальных языков : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :218 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0662-1: Б.ц.
УДК : 519
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): автоматный язык--иерархия хомского--конечный автомат--контекстно-свободная грамматика--магазинная память--математическая теория--машина тьюринга--теоретическая информатика--формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
(для доступа требуется авторизация)

Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 99047
Автор(ы) : Миронов С. В.
Заглавие : Формальные языки и грамматики : Учебное пособие для студентов факультета компьютерных наук и информационных технологий
Выходные данные : Саратов: Издательство Саратовского университета, 2019
Колич.характеристики :80 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-292-04613-4: Б.ц.
УДК : 519.682.1
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): грамматика--информатика--информационные технологии--формальный язык
Аннотация: Пособие представляет собой введение в математическую теорию формальных языков. Приводятся основные определения, понятия и факты с целью подготовки студента к дальнейшим курсам по теории сложности и трансляции, методам обработки текстовой информации. Для студентов факультета компьютерных наук и информационных технологий, обучающихся по направлениям «Фундаментальная информатика и информационные технологии», «Математическое обеспечение и администрирование информационных систем», «Программная инженерия».
(для доступа требуется авторизация)

Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 87427
Автор(ы) : Алымова Е. В., Деундяк В. М., Пеленицын А. М.
Заглавие : Конечные автоматы и формальные языки : Учебник
Выходные данные : Ростов-на-Дону, Таганрог: Издательство Южного федерального университета, 2018
Колич.характеристики :292 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9275-2397-9: Б.ц.
УДК : 004.4
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): булева алгебра--конечный автомат--контекстно-свободный язык--магазинная память--праволинейная грамматика--регулярный язык--формальный язык
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.
(для доступа требуется авторизация)

Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 95042
Автор(ы) : Егоров Д. Л.
Заглавие : Теория вычислительных процессов и структур : Учебное пособие
Выходные данные : Казань: Казанский национальный исследовательский технологический университет, 2018
Колич.характеристики :92 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7882-2378-0: Б.ц.
УДК : 517
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): автоматная модель--вычислительный процесс--программирование--сеть--формальный язык--цифровой автомат
Аннотация: Представлены основы теории вычислительных процессов и структур, в том числе вопросы, связанные с представлением, анализом и моделированием вычислительных процессов, а также программ, которые их порождают, и устройств, на которых они выполняются. Рассмотрены основы теорий формальных языков, автоматов, схем программ и др. Предназначено для студентов, обучающихся по направлениям 01.03.02 «Прикладная математика и информатика», 02.03.03 «Математическое обеспечение и администрирование информационных систем», 09.03.01 «Информатика и вычислительная техника». Подготовлено на кафедре интеллектуальных систем и управления информационными ресурсами.
(для доступа требуется авторизация)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 30.06.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)