Полное описание
>
Бикмуллина, Ильсияр Ильдаровна. Теория формальных грамматик и автоматов : учебное пособие / И. И. Бикмуллина, И. А. Барков ; Министерство науки и высшего образования Российской Федерации, Казанский национальный исследовательский технический университет им. А. Н. Туполева - КАИ. - Казань : Изд-во КНИТУ-КАИ, 2021. - 270, [1] с. : ил. - Библиогр.: с. 267-268 (7 назв.). - 90 экз. - ISBN 978-5-7579-2533-2. - Текст (визуальный) : непосредственный.| ГРНТИ | УДК | |
| 16.31.31 | 510.567 | |
| 28.25 | 519.713 |
Рубрики:
Формальные грамматики
Автоматов теория
Кл.слова (ненормированные): ДОКУМЕНТИРОВАНИЕ -- КОНСТРУИРОВАНИЕ -- ТРАНСЛЯТОРЫ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЯЗЫКОЗНАНИЕ
Аннотация: Рассмотрены введение в языкознание, теория формальных грамматик и автоматов, применение теории формальных грамматик в качестве инструмента конструирования трансляторов. Предназначено для студентов, обучающихся на факультете ИТКЗИ по направлению 09.03.01 "Информатика и вычислительная техника" и изучающих дисциплину "Теория формальных грамматик и автоматов".
Доп. точки доступа:
Барков, Игорь Александрович
Казанский национальный исследовательский технический университет им. А. Н. Туполева - КАИ
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-21/96601)>
Шифр в сводном ЭК: ec479920c26446da2f0f302d39a7b4e4
Бикмуллина, Ильсияр Ильдаровна. Проектирование пользовательского интерфейса : учебное пособие / И. И. Бикмуллина, А. Л. Осипова, 2021. - 66, [1] с. - Текст (визуальный) : непосредственный.Бикмуллина, Ильсияр Ильдаровна. Теория формальных грамматик и автоматов : учебное пособие / И. И. Бикмуллина, И. А. Барков, 2021. - 270, [1] с. - Текст (визуальный) : непосредственный.Бикмуллина, Ильсияр Ильдаровна. Теория информации : учебное пособие / И. И. Бикмуллина, И. С. Ризаев, М. П. Шлеймович, 2025. - 210, [1] с. - Текст (визуальный) : непосредственный.
Кирсанов В.В. Экология и производственная безопасность : академический глоссарий. Т. 1 : А - Н, 2016. - 391 с. - Текст : непосредственный.Гараев К.Г. Элементы математической физики, вариационного исчисления и оптимального управления : учебное пособие / К. Г. Гараев, Т. К. Гараев, 2017. - 111 с. - Текст : непосредственный.Черноглазова А.В. Материаловедение : рекомендовано методсоветом ВУЗа / А. В. Черноглазова, Ф. Н. Куртаева, 2015. - 71 с. - Текст : непосредственный.Талышева И.А. История экономических учений в схемах и таблицах : учебное пособие / И. А. Талышева, С. С. Мустаева, 2016. - 148 с. - Текст : непосредственный.Расчет и получение изделий из полимерных материалов : монография / Б. Е. Байгалиев [и др.] ; под общ. ред. Б. Е. Байгалиева ; Казанский национальный исследовательский технический университет им. А. Н. Туполева - КАИ. Т. 1 : Физико-математическая модель создания пористых материалов, 2016. - 283 с. - Текст : непосредственный.Оптические технологии в телекоммуникациях / Казанский национальный исследовательский технический университет им. А. Н. Туполева - КАИ, 2017. - 246 с. - Текст : непосредственный.Физика и технические приложения волновых процессов / Казанский национальный исследовательский технический университет им. А. Н. Туполева - КАИ, 2017. - 301 с. - Текст : непосредственный.Вакс В.Б. Организация и техника внешнеторговых операций : учебное пособие / В. Б. Вакс, 2017. - 96, [2] с. - Текст : непосредственный.Галеев И.Х. Интеллектуальные обучающие системы. Теоретические основы : учебное пособие / И. Х. Галеев, 2018. - 75 с. - Текст : непосредственный.Трегубов В.М. Низкоуровневое программирование : учебно-методическое пособие / В. М. Трегубов, Р. М. Шакирзянов, 2017. - 66, [1] с. - Текст : непосредственный.Осадчий И.С. Управление персоналом : учебно-методическое пособие по курсовому проектированию / И. С. Осадчий, 2018. - 86 с. - Текст : непосредственный.Аширова С.А. Аудит : учебно-методическое пособие / С. А. Аширова, В. Ю. Ершова, 2018. - 87 с. - Текст : непосредственный.Схемотехника аналоговых электронных устройств : учебно-методическое пособие / А. Ю. Антонов [и др.], 2018. - 55 с. - Текст : непосредственный.Дорофеева С.И. Дифференциальные уравнения первого порядка : учебно-методическое пособие / С. И. Дорофеева, И. А. Лазарева, 2018. - 42, [2] с. - Текст : непосредственный.Инновационные подходы к решению проблем "Сендайской рамочной программы по снижению риска бедствий на 2015-2030 годы" : сборник материалов международной научно-практической конференции, Казань, 19-20 октября 2018 г. / Министерство образования и науки Республики Татарстан, Казанский национальный исследовательский технический университет им. А. Н. Туполева-КАИ, 2018. - 447 с. - Текст : непосредственный.Салахов Р.Р. Численные исследования тепловых систем в комплексе 1D моделирования : учебно-методическое пособие / Р. Р. Салахов, Р. М. Хисматуллин, В. М. Гуреев, 2018. - 55, [3] с. - Текст : непосредственный.Иевлев В.О. Нагрев и нагревательные устройства : учебное пособие / В. О. Иевлев, 2018. - 163 с. - Текст : непосредственный.Новые технологии, материалы и оборудование российской авиакосмической отрасли. АКТО-2018 : материалы Всероссийской научно-практической конференции с международным участием, Казань 8-10 августа 2018 г. / Кабинет Министров Республики Татарстан, Казанский национальный исследовательский технический университет им. А. Н. Туполева - КАИ (КНИТУ - КАИ) [и др.]. Т. 1, 2018. - 602 с. - Текст : непосредственный.Новые технологии, материалы и оборудование российской авиакосмической отрасли. АКТО-2018 : материалы Всероссийской научно-практической конференции с международным участием, Казань 8-10 августа 2018 г. / Кабинет Министров Республики Татарстан, Казанский национальный исследовательский технический университет им. А. Н. Туполева - КАИ (КНИТУ - КАИ) [и др.]. Т. 2, 2018. - 691 с. - Текст : непосредственный.Новые технологии, материалы и оборудование российской авиакосмической отрасли. АКТО-2018 : материалы Всероссийской научно-практической конференции с международным участием, Казань 8-10 августа 2018 г. / Кабинет Министров Республики Татарстан, Казанский национальный исследовательский технический университет им. А. Н. Туполева - КАИ (КНИТУ - КАИ) [и др.]. Т. 3, 2018. - 427 с. - Текст : непосредственный.
Показать все результатыГорбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Илясов С.А. Распознавание некоторых свойств автоматных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Илясов, 2006. - 9 с. - Текст : непосредственный.Encyclopedia of algorithms / Ed. M.-Y. Kao, 2008. - LIII, 1166 p. - Текст : электронный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный.Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный.Завьялов С.В. Стеганографические методы защиты информации : выставочные материалы / С. В. Завьялов, Ю. В. Ветров, 2012. - 189 с. - Текст : непосредственный.Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный.Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный.Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный.Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный.Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный.Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный.
Показать все результатыГорбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный.Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный.Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный.Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный.Епифанов А.С. Анализ фазовых картин дискретных динамических систем / А. С. Епифанов, 2008. - 155 с. - Текст : непосредственный.Твердохлебов В.А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов, 2008. - 182 с. - Текст : непосредственный.Fehler in Automaten / Hrsg.: D. Bochmann, R. Ubar, 1989. - 216 S. - Текст : непосредственный.Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный.Фрид А.И. Избранные лекции по теории автоматов / А. И. Фрид, 2005. - 260 с. - Текст : непосредственный.Богомолов А.М. Автоматные модели и рекурсивный конструктивизм / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Илясов С.А. Распознавание некоторых свойств автоматных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Илясов, 2006. - 9 с. - Текст : непосредственный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный.Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный.Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный.Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный.Воронин В.В. Основы синтеза и диагностирования автоматов / В. В. Воронин, 2002. - 235 с. - Текст : непосредственный.Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный.Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный.Зузанова М.Р. Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов / М. Р. Зузанова, 2010. - 21 с. - Текст : непосредственный.Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный.Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный.Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный.Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный.Орлов В.А. Об особенностях асимптотического поведения сложности реализации K-значных и автоматных функций схемами в произвольном конечном базисе : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. А. Орлов, 1999. - 28 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽