Choice of metadata IPR SMART
Page 1, Results: 10
Отмеченные записи: 0
1.
More
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2012 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 / Малявко А. А. - 2012. - 120 с. - ISBN 978-5-7782-1960-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- семантический анализ -- тип данных -- оптимизация программы
Аннотация: В третьей части учебного пособия рассматриваются задачи, решаемые семантическими анализаторами и генераторами объектного кода трансляторов. Основное внимание уделяется принципам, закладываемым в организацию памяти транслируемой программы, и методам доступа к локальным и нелокальным данным процедур. На этой основе рассмотрены применяемые в современных языках подходы к контролю типов данных и функции семантического анализа. Обсуждаются основные задачи генератора кода, такие как формирование последовательности тетрад, управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Пособие адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2012 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 3 / Малявко А. А. - 2012. - 120 с. - ISBN 978-5-7782-1960-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- семантический анализ -- тип данных -- оптимизация программы
Аннотация: В третьей части учебного пособия рассматриваются задачи, решаемые семантическими анализаторами и генераторами объектного кода трансляторов. Основное внимание уделяется принципам, закладываемым в организацию памяти транслируемой программы, и методам доступа к локальным и нелокальным данным процедур. На этой основе рассмотрены применяемые в современных языках подходы к контролю типов данных и функции семантического анализа. Обсуждаются основные задачи генератора кода, такие как формирование последовательности тетрад, управление памятью, выбор инструкций, распределение регистров и порядок вычислений; рассматриваются методы оптимизации кода. Пособие адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
2.
More
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- синтаксический анализ -- нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2011 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 2 / Малявко А. А. - 2011. - 160 с. - ISBN 978-5-7782-1668-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
программное обеспечение -- формальный язык -- метод трансляции -- синтаксический анализ -- нисходящий метод
Аннотация: Во второй части учебного пособия изложены основные свойства формальных грамматик и их связь с задачей автоматного синтаксического анализа, нисходящие и восходящие методы синтаксического акцепта, т. е. восстановления дерева грамматического разбора, теоретические основы и методы проверки пригодности формальных грамматик для реализации этих методов, способы преобразования грамматик в конечные автоматы со стековой памятью (так называемые распознаватели), а также основные способы расширения акцепторов до синтаксических анализаторов, решающих задачи нейтрализации ошибок и преобразования входного текста в промежуточную форму представления - постфиксную запись. Пособие рекомендуется студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Оно может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
3.
More
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2010 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 / Малявко А. А. - 2010. - 104 с. - ISBN 978-5-7782-1429-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
системное обеспечение -- программное обеспечение -- формальный язык -- метод трансляции -- компилятор -- интерпретатор
Аннотация: В первой части рассмотрены процедурная и автоматная модели лексического анализа, изложены теоретические основы аппарата определения лексики (регулярные выражения) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных определений в лексический анализатор, способы организации информационных таблиц трансляторов, алгоритмы поиска в таблицах и пополнения таблиц. Адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 : учебное пособие. - [Б. м.] : Новосибирский государственный технический университет, 2010 - .Системное программное обеспечение. Формальные языки и методы трансляции. Часть 1 / Малявко А. А. - 2010. - 104 с. - ISBN 978-5-7782-1429-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
системное обеспечение -- программное обеспечение -- формальный язык -- метод трансляции -- компилятор -- интерпретатор
Аннотация: В первой части рассмотрены процедурная и автоматная модели лексического анализа, изложены теоретические основы аппарата определения лексики (регулярные выражения) языков программирования, элементы теории конечных автоматов без памяти и методы ее практического применения для автоматизированного преобразования системы регулярных определений в лексический анализатор, способы организации информационных таблиц трансляторов, алгоритмы поиска в таблицах и пополнения таблиц. Адресовано студентам старших курсов и аспирантам, а также преподавателям смежных дисциплин. Может быть полезно студентам и аспирантам ряда других технических специальностей, связанных с разработкой и использованием программного обеспечения.
4.
More
Алексеев, В. Е.
Структуры данных и модели вычислений : учебное пособие / Алексеев В. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 247 с. - ISBN 978-5-4497-0939-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритм -- алгорифм маркова -- логическое программирование -- машина тьюринга -- модель вычислений -- структура данных -- теория графов -- формальный язык
Аннотация: В учебном пособии рассматриваются способы структурирования информации в моделях с адресуемой памятью и классические модели вычислений, которые сыграли основную роль в формировании математического понятия алгоритма. Одной из основных целей при разработке структур данных является формирование математических понятий, которые пока не входят в классическую математику, но требуют формального описания и математического анализа их свойств. Основной интерес здесь представляют сложностные аспекты выполнения типичных операций. Возникновение наиболее удачных структур, использующихся в различных алгоритмах, приводит к формированию так называемых абстрактных типов данных, которые позволяют вести проектирование нетривиальных алгоритмов на более высоком уровне, не упуская из виду конкретных реализаций. Методы реализации абстрактных типов данных можно рассматривать как переход от описания алгоритма с использованием прикладных или математических понятий к описанию в конкретной системе вычислений. В издании рассматриваются методы реализации приоритетных очередей, динамически меняющихся отношений эквивалентности, а также некоторые способы организации словарей, основывающиеся на применении так называемых поисковых деревьев, приводятся примеры использования рассматриваемых структур в алгоритмах решения некоторых задач из теории графов. Дается описание машин Тьюринга, алгорифмов Маркова, «машины абак» и как наиболее реалистичной модели вычислительного автомата — модели с адресуемой памятью РАМ. Приводятся основные сведения о формальных языках и способах их конструктивного задания, а также теоретические основы логического программирования. Важность этих вопросов вытекает не только из общенаучных проблем развития математики, но также из практических задач общества, использующего вычислительную технику в производстве, экономике, инженерных расчетах и заинтересованного в адекватном представлении о возможностях вычислительных автоматов.
Доп.точки доступа:
Таланов, В. А.
Алексеев, В. Е.
Структуры данных и модели вычислений : учебное пособие / Алексеев В. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 247 с. - ISBN 978-5-4497-0939-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- алгорифм маркова -- логическое программирование -- машина тьюринга -- модель вычислений -- структура данных -- теория графов -- формальный язык
Аннотация: В учебном пособии рассматриваются способы структурирования информации в моделях с адресуемой памятью и классические модели вычислений, которые сыграли основную роль в формировании математического понятия алгоритма. Одной из основных целей при разработке структур данных является формирование математических понятий, которые пока не входят в классическую математику, но требуют формального описания и математического анализа их свойств. Основной интерес здесь представляют сложностные аспекты выполнения типичных операций. Возникновение наиболее удачных структур, использующихся в различных алгоритмах, приводит к формированию так называемых абстрактных типов данных, которые позволяют вести проектирование нетривиальных алгоритмов на более высоком уровне, не упуская из виду конкретных реализаций. Методы реализации абстрактных типов данных можно рассматривать как переход от описания алгоритма с использованием прикладных или математических понятий к описанию в конкретной системе вычислений. В издании рассматриваются методы реализации приоритетных очередей, динамически меняющихся отношений эквивалентности, а также некоторые способы организации словарей, основывающиеся на применении так называемых поисковых деревьев, приводятся примеры использования рассматриваемых структур в алгоритмах решения некоторых задач из теории графов. Дается описание машин Тьюринга, алгорифмов Маркова, «машины абак» и как наиболее реалистичной модели вычислительного автомата — модели с адресуемой памятью РАМ. Приводятся основные сведения о формальных языках и способах их конструктивного задания, а также теоретические основы логического программирования. Важность этих вопросов вытекает не только из общенаучных проблем развития математики, но также из практических задач общества, использующего вычислительную технику в производстве, экономике, инженерных расчетах и заинтересованного в адекватном представлении о возможностях вычислительных автоматов.
Доп.точки доступа:
Таланов, В. А.
5.
More
Карлов, Б. Н.
Теория автоматов и формальных языков : учебник / Карлов Б. Н. - Тверь : Тверской государственный университет, 2021. - 404 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.18
Кл.слова (ненормированные):
грамматика -- конечные автоматы -- регулярное выражение -- регулярный язык -- теория автоматов -- формальный язык
Аннотация: Учебник содержит материал по дисциплине «Теория автоматов и формальных языков»: языки, операции над языками, порождающие грамматики, конечные автоматы, регулярные выражения, автоматы с магазинной памятью, нормальные формы контекстно-свободных грамматик, алгоритмические проблемы для формальных языков. Учебник адресован, прежде всего, студентам старших курсов, обучающимся по направлениям укрупнённой группы 02.03.00 «Компьютерные и информационные науки».
Карлов, Б. Н.
Теория автоматов и формальных языков : учебник / Карлов Б. Н. - Тверь : Тверской государственный университет, 2021. - 404 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
грамматика -- конечные автоматы -- регулярное выражение -- регулярный язык -- теория автоматов -- формальный язык
Аннотация: Учебник содержит материал по дисциплине «Теория автоматов и формальных языков»: языки, операции над языками, порождающие грамматики, конечные автоматы, регулярные выражения, автоматы с магазинной памятью, нормальные формы контекстно-свободных грамматик, алгоритмические проблемы для формальных языков. Учебник адресован, прежде всего, студентам старших курсов, обучающимся по направлениям укрупнённой группы 02.03.00 «Компьютерные и информационные науки».
6.
More
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
7.
More
Миронов, С. В.
Формальные языки и грамматики : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Миронов С. В. - Саратов : Издательство Саратовского университета, 2019. - 80 с. - ISBN 978-5-292-04613-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.973
Кл.слова (ненормированные):
грамматика -- информатика -- информационные технологии -- формальный язык
Аннотация: Пособие представляет собой введение в математическую теорию формальных языков. Приводятся основные определения, понятия и факты с целью подготовки студента к дальнейшим курсам по теории сложности и трансляции, методам обработки текстовой информации. Для студентов факультета компьютерных наук и информационных технологий, обучающихся по направлениям «Фундаментальная информатика и информационные технологии», «Математическое обеспечение и администрирование информационных систем», «Программная инженерия».
Миронов, С. В.
Формальные языки и грамматики : учебное пособие для студентов факультета компьютерных наук и информационных технологий / Миронов С. В. - Саратов : Издательство Саратовского университета, 2019. - 80 с. - ISBN 978-5-292-04613-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
грамматика -- информатика -- информационные технологии -- формальный язык
Аннотация: Пособие представляет собой введение в математическую теорию формальных языков. Приводятся основные определения, понятия и факты с целью подготовки студента к дальнейшим курсам по теории сложности и трансляции, методам обработки текстовой информации. Для студентов факультета компьютерных наук и информационных технологий, обучающихся по направлениям «Фундаментальная информатика и информационные технологии», «Математическое обеспечение и администрирование информационных систем», «Программная инженерия».
8.
More
Алымова, Е. В.
Конечные автоматы и формальные языки : учебник / Алымова Е. В. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 292 с. - ISBN 978-5-9275-2397-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.973
Кл.слова (ненормированные):
булева алгебра -- конечный автомат -- контекстно-свободный язык -- магазинная память -- праволинейная грамматика -- регулярный язык -- формальный язык
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.
Доп.точки доступа:
Деундяк, В. М.
Пеленицын, А. М.
Алымова, Е. В.
Конечные автоматы и формальные языки : учебник / Алымова Е. В. - Ростов-на-Дону, Таганрог : Издательство Южного федерального университета, 2018. - 292 с. - ISBN 978-5-9275-2397-9 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булева алгебра -- конечный автомат -- контекстно-свободный язык -- магазинная память -- праволинейная грамматика -- регулярный язык -- формальный язык
Аннотация: Содержит полное и систематическое изложение материала, входящего в учебную программу курса «Теория конечных автоматов и формальных языков», изучаемых студентами специальности «Фундаментальная информатика и информационные технологии» Института математики, механики и компьютерных наук Южного федерального университета. Последовательно рассматриваются следующие темы: способы задания и распознавания формальных языков, регулярные языки, конечные автоматы, автоматы со спонтанными переходами, свойства регулярных языков, контекстно-свободные языки, нормальные формы контекстно-свободных языков, автоматы с магазинной памятью. Содержит упражнения и варианты индивидуальных заданий. Предназначен для студентов, которые обучаются по программам бакалавриата и магистратуры в области информационных технологий, прикладной математики и программирования.
Доп.точки доступа:
Деундяк, В. М.
Пеленицын, А. М.
9.
More
Егоров, Д. Л.
Теория вычислительных процессов и структур : учебное пособие / Егоров Д. Л. - Казань : Казанский национальный исследовательский технологический университет, 2018. - 92 с. - ISBN 978-5-7882-2378-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
автоматная модель -- вычислительный процесс -- программирование -- сеть -- формальный язык -- цифровой автомат
Аннотация: Представлены основы теории вычислительных процессов и структур, в том числе вопросы, связанные с представлением, анализом и моделированием вычислительных процессов, а также программ, которые их порождают, и устройств, на которых они выполняются. Рассмотрены основы теорий формальных языков, автоматов, схем программ и др. Предназначено для студентов, обучающихся по направлениям 01.03.02 «Прикладная математика и информатика», 02.03.03 «Математическое обеспечение и администрирование информационных систем», 09.03.01 «Информатика и вычислительная техника». Подготовлено на кафедре интеллектуальных систем и управления информационными ресурсами.
Егоров, Д. Л.
Теория вычислительных процессов и структур : учебное пособие / Егоров Д. Л. - Казань : Казанский национальный исследовательский технологический университет, 2018. - 92 с. - ISBN 978-5-7882-2378-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматная модель -- вычислительный процесс -- программирование -- сеть -- формальный язык -- цифровой автомат
Аннотация: Представлены основы теории вычислительных процессов и структур, в том числе вопросы, связанные с представлением, анализом и моделированием вычислительных процессов, а также программ, которые их порождают, и устройств, на которых они выполняются. Рассмотрены основы теорий формальных языков, автоматов, схем программ и др. Предназначено для студентов, обучающихся по направлениям 01.03.02 «Прикладная математика и информатика», 02.03.03 «Математическое обеспечение и администрирование информационных систем», 09.03.01 «Информатика и вычислительная техника». Подготовлено на кафедре интеллектуальных систем и управления информационными ресурсами.
10.
More
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 218 с. - ISBN 978-5-4497-3304-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 218 с. - ISBN 978-5-4497-3304-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Page 1, Results: 10