Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2011
Автор:	Крывый, С.Л.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2011
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/84230
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Конечные автоматы в информационных технологиях / С.Л. Крывый // Кибернетика и системный анализ. — 2011. — Т. 47, № 5. — С. 3-20. — Бібліогр.: 36 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Асинхронные автоматы, сравнивающие треки
за авторством: Шахбазян, К.В., та інші
Опубліковано: (2012)

Примитивные и неприводимые автоматы
за авторством: Рысцов, И.К.
Опубліковано: (2015)

Проблема мортальности и аффинные автоматы
за авторством: Рысцов, И.К.
Опубліковано: (2008)

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

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

Комбинаторный метод решения систем линейных ограничений
за авторством: Крывый, С.Л.
Опубліковано: (2014)

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Формальные методы анализа дискретных систем с использованием языка спецификаций
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)

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

Реализация идей академика Н. М. Амосова в нейросетевых информационных технологиях
за авторством: Касаткина, Л.М., та інші
Опубліковано: (2013)

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

Модели и методы решения нечетких задач дискретной оптимизации в диагностических информационных технологиях
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2005)

Исследование и моделирование зависимости информационных характеристик демографических процессов от экономических показателей
за авторством: Рогозинская, Н.С., та інші
Опубліковано: (2009)

Развитие и применение информационных технологий для неинвазивного определения уровня глюкозы в крови
за авторством: Коваленко, А.С., та інші
Опубліковано: (2012)

Разработка медицинских информационных систем на базе системы управления контентом Drupal
за авторством: Григорьев, П.Е., та інші
Опубліковано: (2013)

Автоматы на абстрактных конечных квазигруппах
за авторством: Скобелев, В.В., та інші
Опубліковано: (2017)

Автоматы на конечных Т-квазигруппах
за авторством: Скобелев, В.В., та інші
Опубліковано: (2018)

Аффинные автоматы и классические фракталы
за авторством: Рысцов, И.К.
Опубліковано: (2018)

Конечные решения уравнений Н. Ковалевского
за авторством: Брюно, А.Д., та інші
Опубліковано: (2005)

Конечные группы Шмидта и их обобщения
за авторством: Кузенный, Н.Ф., та інші
Опубліковано: (1991)

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

Конечные группы с системой SE-добавляемых подгрупп
за авторством: Сяолан, Ий, та інші
Опубліковано: (2013)

Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах
за авторством: Белан, С.Н., та інші
Опубліковано: (2013)

Построение гамильтонова пути в графах перестановочных многогранников
за авторством: Донец, Г.А., та інші
Опубліковано: (2010)

Автоматы над конечным кольцом: неподвижные точки автоматных отображений
за авторством: Скобелев, В.Г.
Опубліковано: (2011)

Логика минимальной сепарации в каузальных сетях
за авторством: Балабанов, А.С.
Опубліковано: (2013)

Эквивалентность регулярных выражений в частично коммутативном алфавите
за авторством: Шукурян, А.С.
Опубліковано: (2009)

Формирование минимальных d-сепараторов в системе зависимостей
за авторством: Балабанов, А.С.
Опубліковано: (2009)

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

Некоторые подходы к моделированию цен в эколого-экономической системе
за авторством: Григоркив, В.С.
Опубліковано: (2009)

Точное число эллиптических кривых в канонической форме, изоморфных кривым Эдвардса над простым полем
за авторством: Бессалов, А.В., та інші
Опубліковано: (2015)

Численное исследование многопороговой стратегии доступа в мультисервисных беспроводных сетях сотовой связи
за авторством: Чи Сон Ким, та інші
Опубліковано: (2009)

Построение оптимальных алгоритмов массовых вычислений в задачах цифровой фильтрации
за авторством: Анисимов, А.В., та інші
Опубліковано: (2008)

Методы распознавания групповой принадлежности, основанные на доверительных границах, и их апробация в клинической онкологии
за авторством: Петунин, Ю.И., та інші
Опубліковано: (2009)

Групповые структуры на фактор-множествах в задачах классификации
за авторством: Машталир, В.П., та інші
Опубліковано: (2014)

Генерация символьных трасс в системе инсерционного моделирования
за авторством: Летичевский, А.А., та інші
Опубліковано: (2015)

Дискретные совершенные множества и их применение в кластерном анализе
за авторством: Агаян, С.М., та інші
Опубліковано: (2014)

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

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