Теория автоматов: Учебник для вузов/

Теория автоматов: Учебник для вузов/

Bibliographic Details
Main Author:	Карпов Юрий Глебович (Author)
Format:	Book
Published:	СПб.: Питер 2002
Subjects:	КОНЕЧНЫЕ АВТОМАТЫ АВТОМАТНЫЕ ЯЗЫКИ Тьюринга машины теория автоматов МАТЕМАТИКА УЧЕБНЫЕ ПОСОБИЯ МАТЕМАТИЧЕСКАЯ ЛОГИКА ФУНКЦИОНАЛЬНЫЕ ПРЕОБРАЗОВАТЕЛИ
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items

Discrete structures and automata theory
by: Dube, Rakesh
Published: (2006)

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

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

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

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

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

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

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

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

Представления конечных автоматов фрагментами поведения: научное издание/
by: Грунский, И. С. Игорь Сергеевич, et al.
Published: (1990)

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

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

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

Введение в теорию конечных автоматов: Пер. с нем./
by: Брауэр, В. Вильфрид
Published: (1987)

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

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

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

Избранные главы дискретной математики учебное пособие
by: Марченков, Сергей Серафимович
Published: (2023)

О минимизации временных автоматов
by: Твардовский, Александр Сергеевич

Построение тестов для конечных автоматов относительно неразделимости
by: Шабалдина, Наталия Владимировна

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

Дискретная математика: Учебное пособие для вузов/
by: Шевелев, Юрий Павлович
Published: (2003)

К построению параллельной композиции расширенных автоматов
by: Широкова, Екатерина Владимировна

Логика. Автоматы. Алгоритмы: научное издание/
by: Айзерман, М. А. Марк Аронович, et al.
Published: (1963)

К минимизации автоматов с таймаутами
by: Твардовский, Александр Сергеевич

Теория трансдьюсеров
by: Лисовик, Леонид Петрович
Published: (2005)

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

Методы реализации конечных автоматов на сдвиговых регистрах: /
by: Девятков, В. В. Владимир Валентинович
Published: (1974)

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

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

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

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

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

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

Кодирование состояний и надежность автоматов
by: Сагалович, Юрий Львович
Published: (1975)

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

О криптоаналитической обратимости с конечной задержкой конечных автоматов
by: Агибалов, Геннадий Петрович 1939-2020

The unknown component problem theory and applications
Published: (2012)

Проблемы теоретической кибернетики тезисы докладов VIII Всесоюзной конференции (июль 1988 г.)
Published: (1988)

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