72924

    Локтев, Е. М.
    Огневая подготовка из стрелкового оружия [Электронный ресурс] : учебное пособие для студентов, обучающихся по специальности 38.05.01 «Экономическая безопасность» (специализация «Экономико-правовое обеспечение экономической безопасности») / Локтев Е. М. - Воронеж : Воронежский государственный архитектурно-строительный университет, ЭБС АСВ, 2017 ; Воронеж : Воронежский государственный технический университет, ЭБС АСВ, 2017. - 112 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 68.5-7

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

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

Свободных экз. нет

73673

    Князьков, В. С.
    Введение в теорию автоматов [Электронный ресурс] : учебное пособие / Князьков В. С. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 89 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.96

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

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


Доп.точки доступа:
Волченская, Т. В.
Свободных экз. нет

73683

    Гуров, В. В.
    Логические и арифметические основы и принципы работы ЭВМ [Электронный ресурс] : учебное пособие / Гуров В. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 166 с. - ISBN 5-9556-0040-X : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

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

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


Доп.точки доступа:
Чуканов, В. О.
Свободных экз. нет

66545

    Фокин, К. С.
    Материальная часть стрелкового оружия и гранатометов [Электронный ресурс] : учебное пособие / Фокин К. С. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 180 с. - ISBN 978-5-7996-1583-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 68.5-7

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

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


Доп.точки доступа:
Фролов, И. В.; Ружа, В. А. \ред.\
Свободных экз. нет

76519

    Шульга, Т. Э.
    Теория автоматов и формальных языков [Электронный ресурс] : учебное пособие / Шульга Т. Э. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2015. - 104 с. - ISBN 987-5-7433-2968-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

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

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

Свободных экз. нет

78709

    Гузик, В. Ф.
    Теория цифровых автоматов [Электронный ресурс] : учебное пособие / Гузик В. Ф. - Таганрог : Южный федеральный университет, 2015 ; Таганрог : Издательство Южного федерального университета, 2015. - 147 с. - ISBN 978-5-9275-1856-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

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

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


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

55474

    Храмова, Т. В.
    Дискретная математика. Проектирование конечных автоматов в примерах и задачах [Электронный ресурс] : учебное пособие / Храмова Т. В. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2014. - 48 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 22.1

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

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

Свободных экз. нет

47725

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

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

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

Свободных экз. нет

68172

    Ожиганов, А. А.
    Теория автоматов [Электронный ресурс] : учебное пособие / Ожиганов А. А. - Санкт-Петербург : Университет ИТМО, 2013. - 86 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.96

Кл.слова (ненормированные):
абстрактный автомат -- автомат мили -- автомат мура -- кодирование микрооперации -- логическая матрица -- микропрограммный автомат -- структурный автомат -- теория автоматов -- транспозиция автомата
Аннотация: Целью данного учебного пособия является ознакомление студентов с методами синтеза цифровых автоматов. Приводятся сведения об абстрактных автоматах Мили и Мура. Рассматриваются табличный и графовый способы представления автоматов, вводится понятие реакции автомата на входное слово и определение эквивалентных автоматов. Представлены методы взаимного эквивалентного преобразования автоматов. Приводятся общие сведения о микропрограммном управлении, понятия микрокоманды, микрооперации, микропрограммы, способы представления микропрограмм в виде граф-схем алгоритмов (ГСА), формул переходов, матричных и логических схем алгоритмов. Приводятся методы разметки ГСА и правила построения по ним автоматов Мили и Мура. Рассматриваются методы канонического синтеза структурных автоматов. Приводятся примеры синтеза памяти структурного автомата на базе D -, Т -, RS - и JK триггеров. Пособие предназначено для студентов, специализирующихся в области информационных технологий и может быть использовано при подготовке бакалавров и магистров по направлениям 230100 «Информатика и вычислительная техника», 231000 «Программная инженерия» и инженеров по специальности 230101 «Вычислительные машины, комплексы, системы и сети».

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

Свободных экз. нет

17722

    Блюмин, С. Л.
    Автоматы и сети Петри [Электронный ресурс] : учебное пособие / Блюмин С. Л. - Липецк : Липецкий государственный технический университет, ЭБС АСВ, 2012. - 83 с. - ISBN 978-5-88247-540-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 22.1

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

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


Доп.точки доступа:
Жбанова, Н. Ю.
Свободных экз. нет

67154

   
    Теория алгоритмов [Электронный ресурс] : учебно-методический комплекс / сост.: А. М. Опабекова, К. У. Умбетбаев. - Алматы : Нур-Принт, 2012. - 79 с. - ISBN 9965-756-08-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.973

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

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


Доп.точки доступа:
Опабекова, А. М. \сост.\; Умбетбаев, К. У. \сост.\
Свободных экз. нет

64594

    Клинков, А. С.
    Технологическое оборудование и оснастка упаковочного производства [Электронный ресурс] : практикум / Клинков А. С. - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2012. - 113 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 37.8

Кл.слова (ненормированные):
валковая машина -- литьевая машина -- оснастка производства -- прессовое оборудование -- технологическое оборудование -- упаковочное производство -- фасовочно-упаковочный автомат
Аннотация: Рассмотрены организационные, технические и расчётные мероприятия, выполнение которых позволит студентам не только получить необходимые теоретические знания о функционировании как элементов упаковочного оборудования и упаковочных линий, так и упаковочных автоматов, а также технологического оборудования по обработке полимерных упаковочных материалов, и будет способствовать успешному освоению и развитию практических навыков работы по настройке, наладке, запуску и остановке технологического оборудования. Предназначен для бакалавров 3 курса очной и заочной форм обучения направления 261700 «Технология полиграфического и упаковочного производства» и студентов 4 курса очной и 5 курса заочной форм обучения специальности 261201 «Технология и дизайн упаковочного производства».

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


Доп.точки доступа:
Забавников, М. В.; Туляков, Д. В.
Свободных экз. нет

28402

    Рязанов, Ю. Д.
    Теория вычислительных процессов [Электронный ресурс] : лабораторный практикум. Учебное пособие / Рязанов Ю. Д. - Белгород : Белгородский государственный технологический университет им. В.Г. Шухова, ЭБС АСВ, 2011. - 100 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.81я73

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

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

Свободных экз. нет

36039

    Осипов, О. О.
    Организация и проведение стрельб из автомата Калашникова в образовательных учреждениях МВД России в полевых условиях [Электронный ресурс] : учебно-методическое пособие / Осипов О. О. - Омск : Омская академия МВД России, 2010. - 76 с. - ISBN 978-5-88651-486-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 68.9я73

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

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


Доп.точки доступа:
Бронников, С. В.; Литвин, Д. В.; Реймхен, С. И.; Корягин, С. В.; Выштикалюк, В. Ф.; Пивоваров, Д. В.; Осипов, О. О. \ред.\
Свободных экз. нет

73875

    Труевцев, А. В.
    Очерки истории чулочной техники [Электронный ресурс] : учебное пособие / Труевцев А. В. - Санкт-Петербург : Санкт-Петербургский государственный университет технологии и дизайна, 2007. - 88 с. - ISBN 978-5-7937-0344-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 37.2

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

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

Свободных экз. нет

44353

    Кудеяров, Ю. А.
    Обработка статистической информации при испытаниях игровых автоматов с денежным выигрышем с целью утверждения их типа [Электронный ресурс] : учебное пособие / Кудеяров Ю. А. - Москва : Академия стандартизации, метрологии и сертификации, 2005. - 61 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 30.10

Кл.слова (ненормированные):
денежный выигрыш -- игровой автомат -- обработка информации -- статистическая информация -- утверждение типа
Аннотация: Учебное пособие написано на основе лекций, которые автор на протяжении ряда лет читает испытателям и контролерам игровых автоматов с денежным выигрышем на курсах повышения квалификации в Учебном центре ВНИИ метрологической службы (ВНИИМС) и в Академии стандартизации, метрологии и сертификации. Пособие, по сути, представляет собой расширенный комментарий к методике МИ 2562–2001 «ГСИ. Игровые автоматы с денежным выигрышем. Методика обработки статистической информации при испытаниях с целью утверждения типа». В пособии также излагаются методы, не вошедшие пока в методику, но которые могут быть использованы при испытаниях игровых автоматов. Большую роль в подготовке методики МИ 2562 сыграли соответствующие наработки, проведенные в лаборатории испытаний игровых автоматов РТВ (Германия). Беседы автора с руководителем лаборатории Т. Брондером и особенно с д-ром Ц. Эльстером во время посещения лаборатории в марте 1999 года в значительной степени способствовали пониманию задач в рассматриваемой сфере и методов их решения. Изложение типовой стратегии игры на автоматах покерного типа основано на разработке сектора испытаний игровых автоматов ВНИИМС. Машинные эксперименты, результаты которых использованы в пособии, выполнены А.А. Акимовым. Наряду со специфическими методами анализа статистической информации излагаются также некоторые сведения по общим вопросам теории вероятностей и математической статистики. Учебное пособие предназначено для слушателей АСМС, повышающих квалификацию по специализациям «Испытания игровых автоматов с целью утверждения типа» и «Контроль соответствия игровых автоматов утвержденному типу». Пособие рекомендуется испытателям игровых автоматов с денежным выигрышем и контролерам их соответствия утвержденному типу.

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

Свободных экз. нет

51605

    Хлуденев, А. В.
    Операционное устройство [Электронный ресурс] : методические указания / Хлуденев А. В. - Оренбург : Оренбургский государственный университет, ЭБС АСВ, 2003. - 50 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.97

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

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

Свободных экз. нет

92827

    Шмырин, А. М.
    Дискретная математика и математическая логика [Электронный ресурс] : учебное пособие для СПО / Шмырин А. М. - Липецк, Саратов : Липецкий государственный технический университет, Профобразование, 2020. - 160 с. - ISBN 978-5-88247-960-1, 978-5-4488-0751-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 22.176

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

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


Доп.точки доступа:
Седых, И. А.
Свободных экз. нет

97548

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

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

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


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

97586

    Cперанский, Д. В.
    Теория экспериментов с конечными автоматами [Электронный ресурс] : учебное пособие / Cперанский Д. В. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 354 с. - ISBN 978-5-4497-0697-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:
УДК
ББК 32.81

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

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

Свободных экз. нет