Discrete structures and automata theory

Discrete structures and automata theory

Bibliographic Details
Main Author:	Dube, Rakesh
Other Authors:	Pandey, Adesh, Gupta, Ritu
Format:	Book
Language:	English
Published:	Oxford Alpha Science International 2006
Subjects:	кольца поля Хомского иерархия теория автоматов. функции. теория групп. дискретные функции. производные функции. булева алгебра. математическая логика. логика высказываний. конечные автоматы. Мили автоматы. Мура автоматы. автоматные языки. автоматные грамматики. Тьюринга машины.
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

Недетерминированные автоматы: анализ и синтез [учебное пособие]
by: Евтушенко, Нина Владимировна
Published: (2009)

Недетерминированные автоматы: анализ и синтез [учебное пособие]
by: Евтушенко, Нина Владимировна
Published: (2006)

Теория автоматов учебник для вузов по направлению подготовки бакалавров "Информатика и вычислительная техника" и по специальности "Вычислительные машины, комплексы, системы и сети" направления подготовки дипломированных специалистов "Информатика и вычислительная техника"
by: Карпов, Юрий Глебович
Published: (2003)

Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
by: Твардовский, Александр Сергеевич

Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Прокопенко, Светлана Анатольевна
Published: (2000)

Locating a faulty component of an EFSM composition
by: Prokopenko, Svetlana A.

Основы логического проектирования [учебное пособие для студентов, обучающихся по группе специальностей "Программное обеспечение вычислительной техники и автоматизированных систем", "Вычислительные машины, комплексы, системы и сети", "Системы автоматизированного проектирования"]
by: Колдаев, Виктор Дмитриевич
Published: (2014)

Исследование отношений квазиэквивалентности, квазиредукции и квазимоделирования между автоматами
by: Ветрова, Мария Викторовна

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Громов, Максим Леонидович
Published: (2009)

Сведение решения системы параллельных автоматных неравенств к решению одного неравенства
by: Широкова, Екатерина Владимировна

О синхронной композиции детерминированных автоматов

Алгебраические методы анализа автоматных систем
by: Козловский, В. А.

Конечные автоматы (поведение и синтез)
by: Трахтенброт, Борис Авраамович
Published: (1970)

Современная прикладная алгебра
by: Биркгоф, Гаррет
Published: (1976)

Лекции по математической лингвистике
by: Лапшин, Владимир Анатольевич
Published: (2010)

Синтез тестов для контроля систем логического управления методами теории экспериментов с автоматами диссертация на соискание ученой степени доктора технических наук : 05.13.01
by: Евтушенко, Нина Владимировна
Published: (1990)

Cryptautomata: definition, cryptanalysis, example
by: Agibalov, G. P. 1939-2020

Оптимизация компонентов автоматных сетей
by: Широкова, Екатерина Владимировна

Математические основы информатики Пособие для студентов специальности G 31 03 04 "Информатика"
by: Мощенский, Андрей Владимирович
Published: (2002)

Теория автоматов учебно-методическое пособие
by: Буркатовская, Юлия Борисовна
Published: (2010)

Характеризация живых решений синхронного автоматного уравнения
by: Вилла, Тизиано

Некоторые задачи идентификации состояний для недетерминированных автоматов
by: Евтушенко, Нина Владимировна
Published: (2018)

Перестраиваемые автоматы на подстановках
by: Тренькаев, Вадим Николаевич

Finite automata and application to cryptography
by: Tao, Renji
Published: (2008)

Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ]
by: Евтушенко, Нина Владимировна
Published: (2013)

Оптимизация бинарной композиции автоматов
by: Жарикова, С. В.

Метод нахождения прогрессивного решения системы автоматных уравнений
by: Жарикова, С. В.

Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента
by: Куфарева, Ирина Борисовна

Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений
by: Широкова, Екатерина Владимировна

Отношения различимости между недетерминированными автоматами
by: Ветрова, Мария Викторовна

Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Тихомирова, Светлана Владимировна
Published: (2008)

Введение в теорию автоматов, языков и вычислений Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [под ред. А. Б. Ставровского ; пер. с англ. О. И. Васылык и др.]
by: Хопкрофт, Джон Э.
Published: (2008)

Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Каширова, Лилия Федоровна
Published: (1991)

Дискретная математика учебное пособие для студентов, обучающихся по направлению подготовки бакалавров и магистров 511600- "Прикладные математика и физика"
by: Макоха, Анатолий Николаевич
Published: (2005)

Теория автоматов учебник
by: Кудрявцев В. Б. Валерий Борисович
Published: (2024)

Лекции по теории конечных автоматов учебное пособие
by: Агибалов, Геннадий Петрович 1939-2020
Published: (1984)

Исследование живых и безопасных решений параллельных уравнений и неравенств на множестве полуавтоматов и автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Буфалов, Сергей Анатольевич
Published: (2002)

Введение в теорию автоматов, языков и вычислений Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [под ред. А. Б. Ставровского ; пер. с англ. О. И. Васылык и др.]
by: Хопкрофт, Джон Э.
Published: (2002)

Minimizing deterministic timed finite state machines

Решение автоматных уравнений для временных автоматов относительно параллельной композиции
by: Кондратьева, Ольга Викторовна