Buchumschlag

Конечные автоматы в информационных технологиях

Наведено короткий огляд застосуваня теорiї скiнченних автоматiв у деяких сучасних галузях комп’ютерних наук i технологiй. Зокрема, розглядаються сфери застосування скiнченних автоматiв в комп’ютернiй алгебрi, мережах Петрi, бiологiї, верифiкацiї. A short review of applications of finite state automa...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2011
1. Verfasser:	Крывый, С.Л.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2011
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/84230
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Конечные автоматы в информационных технологиях / С.Л. Крывый // Кибернетика и системный анализ. — 2011. — Т. 47, № 5. — С. 3-20. — Бібліогр.: 36 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Примитивные и неприводимые автоматы
von: Рысцов, И.К.
Veröffentlicht: (2015)

Асинхронные автоматы, сравнивающие треки
von: Шахбазян, К.В., et al.
Veröffentlicht: (2012)

Проблема мортальности и аффинные автоматы
von: Рысцов, И.К.
Veröffentlicht: (2008)

О классе формул языка L*, специфицирующих автоматы с конечной памятью
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел
von: Крывый, С.Л.
Veröffentlicht: (2009)

Комбинаторный метод решения систем линейных ограничений
von: Крывый, С.Л.
Veröffentlicht: (2014)

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

Верификация программ: состояние, проблемы, результаты. I
von: Крывый, С.Л., et al.
Veröffentlicht: (2013)

Формальные методы анализа дискретных систем с использованием языка спецификаций
von: Крывый, С.Л., et al.
Veröffentlicht: (2009)

Некоторые аспекты преобразования алгоритмов на основе формализации информационных связей
von: Акуловский, В.Г.
Veröffentlicht: (2009)

Реализация идей академика Н. М. Амосова в нейросетевых информационных технологиях
von: Касаткина, Л.М., et al.
Veröffentlicht: (2013)

Об информационных технологиях принятия решений в задачах оценки состояния территорий
von: Кучеренко, Е.И., et al.
Veröffentlicht: (2010)

Модели и методы решения нечетких задач дискретной оптимизации в диагностических информационных технологиях
von: Сергиенко, И.В., et al.
Veröffentlicht: (2005)

Исследование и моделирование зависимости информационных характеристик демографических процессов от экономических показателей
von: Рогозинская, Н.С., et al.
Veröffentlicht: (2009)

Разработка медицинских информационных систем на базе системы управления контентом Drupal
von: Григорьев, П.Е., et al.
Veröffentlicht: (2013)

Автоматы на конечных Т-квазигруппах
von: Скобелев, В.В., et al.
Veröffentlicht: (2018)

Автоматы на абстрактных конечных квазигруппах
von: Скобелев, В.В., et al.
Veröffentlicht: (2017)

Конечные группы Шмидта и их обобщения
von: Кузенный, Н.Ф., et al.
Veröffentlicht: (1991)

Международный симпозиум «Автоматы, алгоритмы и информационные технологии»
von: Мороховец, М.К.
Veröffentlicht: (2010)

Конечные группы с системой SE-добавляемых подгрупп
von: Сяолан, Ий, et al.
Veröffentlicht: (2013)

Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах
von: Белан, С.Н., et al.
Veröffentlicht: (2013)

Конечные 2-группы со сверхдополняемой циклической подгруппой
von: Крекнин, В.А., et al.
Veröffentlicht: (1991)

Построение гамильтонова пути в графах перестановочных многогранников
von: Донец, Г.А., et al.
Veröffentlicht: (2010)

Эквивалентность регулярных выражений в частично коммутативном алфавите
von: Шукурян, А.С.
Veröffentlicht: (2009)

Формирование минимальных d-сепараторов в системе зависимостей
von: Балабанов, А.С.
Veröffentlicht: (2009)

Минимальные сепараторы в структурах зависимостей. Свойства и идентификация
von: Балабанов, А.С.
Veröffentlicht: (2008)

Некоторые подходы к моделированию цен в эколого-экономической системе
von: Григоркив, В.С.
Veröffentlicht: (2009)

Применение фотограмметрии в технологиях штамповки взрывом
von: Гренёвельд, Х.Д.
Veröffentlicht: (2009)

Построение оптимальных алгоритмов массовых вычислений в задачах цифровой фильтрации
von: Анисимов, А.В., et al.
Veröffentlicht: (2008)

Групповые структуры на фактор-множествах в задачах классификации
von: Машталир, В.П., et al.
Veröffentlicht: (2014)

Генерация символьных трасс в системе инсерционного моделирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2015)

Дискретные совершенные множества и их применение в кластерном анализе
von: Агаян, С.М., et al.
Veröffentlicht: (2014)

Об эффективности метода вероятностно нейтральных битов в статистическом криптоанализе синхронных поточных шифров
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2016)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

Применение плазменного нагрева в технологиях литейного производства
von: Найдек, В.Л., et al.
Veröffentlicht: (2011)

Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. II. Алгоритмы построения диаграмм Вороного на основе теории оптимального разбиения множеств
von: Киселева, Е.М., et al.
Veröffentlicht: (2015)

Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. I. Теоретические основы
von: Киселева, Е.М., et al.
Veröffentlicht: (2015)

Аппроксимация гауссовских базисных функций в задаче адаптивного управления нелинейными объектами
von: Руденко, О.Г., et al.
Veröffentlicht: (2011)

О некоторых научных результатах Ю. М. Ермольева и его школы в области современной теории оптимизации
von: Кнопов, П.С., et al.
Veröffentlicht: (2011)

Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
von: Подловченко, Р.И.
Veröffentlicht: (2009)