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

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

Библиографическая информация
Главный автор:	Карпов Юрий Глебович (Автор)
Формат:	Книга
Публикация:	СПб.: Питер 2002
Предметы:	КОНЕЧНЫЕ АВТОМАТЫ АВТОМАТНЫЕ ЯЗЫКИ Тьюринга машины теория автоматов МАТЕМАТИКА УЧЕБНЫЕ ПОСОБИЯ МАТЕМАТИЧЕСКАЯ ЛОГИКА ФУНКЦИОНАЛЬНЫЕ ПРЕОБРАЗОВАТЕЛИ
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Discrete structures and automata theory
по: Dube, Rakesh
Публикация: (2006)

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

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

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

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

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

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

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

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

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

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

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

Конечные автоматы (поведение и синтез)
по: Трахтенброт, Борис Авраамович
Публикация: (1970)

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

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

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

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

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

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

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

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

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

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

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

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

Теория трансдьюсеров
по: Лисовик, Леонид Петрович
Публикация: (2005)

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

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

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

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

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

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

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

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

Кодирование состояний и надежность автоматов
по: Сагалович, Юрий Львович
Публикация: (1975)

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

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

The unknown component problem theory and applications
Публикация: (2012)

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

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