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

Применение сетей Петри для анализа КС-грамматик

Предложена схема использования сетей Петри для исследования некоторых свойств КС-грамматик. Метод позволяет, в частности, исследовать заданную КС-грамматику на пустоту и конечность порождаемого языка, используя дерево покрываемости соответствующей сети Петри. Кроме того, предложенный метод позволяет...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Системні дослідження та інформаційні технології
Дата:	2011
Автор:	Спекторский, И.Я.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2011
Теми:	Математичні методи, моделі, проблеми і технології дослідження складних систем
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/50134
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Применение сетей Петри для анализа КС-грамматик / И.Я. Спекторский // Систем. дослідж. та інформ. технології. — 2011. — № 4. — С. 129-133. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Практическое применение количественных методов прогнозирования
за авторством: Будаев, П.В.
Опубліковано: (2009)

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

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

Апроксимація функцій для створення алгоритму опису пересіченої місцевості
за авторством: Трофимчук, О.М., та інші
Опубліковано: (2016)

Методи синтезу якісних регуляторів для нелінійних динамічних систем
за авторством: Глазок, О.М.
Опубліковано: (2004)

Наближені екстремальні розв’язки для еволюційних включень субдиференціального типу
за авторством: Ясінський, В.В., та інші
Опубліковано: (2009)

Методи побудови моделей для довгострокового прогнозування фінансових часових рядів
за авторством: Зражевський, О.Г.
Опубліковано: (2010)

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

Построение решающего правила для классификации образов на основе векторов ошибок
за авторством: Четырбок, П.В.
Опубліковано: (2013)

Анализ использования нейросетей для диагностики рака шейки матки по мультиспектральному изображению
за авторством: Малышевская, Е.Н.
Опубліковано: (2010)

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

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

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

Синтез и адаптивная настройка моделей GARCH для прогнозирования дисперсий гетероскедастических процессов с разнотемповой дискретизацией
за авторством: Романенко, В.Д., та інші
Опубліковано: (2008)

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

Про існування розв’язку задачі Коші для нелінійного дифузійного стохастичного диференціально-різницевого рівняння нейтрального типу в частинних похідних з урахуванням випадкових зовнішних збурень
за авторством: Ясинський, В.К., та інші
Опубліковано: (2017)

Згасання звуку в міжтрубному просторі свердловин
за авторством: Данилов, В.Я., та інші
Опубліковано: (2011)

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

Ехолокація у хвилеводах за відсутності реперів та апріорних даних про швидкість звуку
за авторством: Науменко, І.Я., та інші
Опубліковано: (2011)

Математичне моделювання процесів дифузії домішкової речовини у двофазному півпросторі з ерлангівським розподілом включень
за авторством: Чапля, Є.Я., та інші
Опубліковано: (2013)

Концептуальне моделювання спалахів лісових пожеж на основі онтологічного підходу DataMining. Частина 1
за авторством: Радовановіч, М., та інші
Опубліковано: (2014)

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

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

Циклічне самовідновлення системи знань людини за умов їх пасивної дисипації
за авторством: Ясінський, В.В.
Опубліковано: (2008)

Довгострокові прогнози функцій стану автономних включень типу реакції-дифузії в RN
за авторством: Горбань, Н.В.
Опубліковано: (2014)

Аналітичний розв’язок некоректних задач динамічними методами
за авторством: Пархомчук, Д.М., та інші
Опубліковано: (2015)

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

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

Оптимізація структури інвестиційного портфеля у природокористуванні на підставі попарного порівняння альтернатив з урахуванням ризику невикористаних можливостей
за авторством: Стефанишин, Д.В., та інші
Опубліковано: (2017)

Оцінка достовірності результатів аналізу перехресного впливу при розв’язанні задач технологічного передбачення
за авторством: Пилипенко, Д.Є.
Опубліковано: (2008)

Модель цінової динаміки олігопольного ринку
за авторством: Повещенко, Г.П.
Опубліковано: (2007)

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

Ноніусна адаптивна високоточна система стабілізації стохастичних технологічних процесів
за авторством: Галай, В.М., та інші
Опубліковано: (2003)

A novel approach to remote sensing of vegetation
за авторством: Bidyuk, P.I., та інші
Опубліковано: (2005)

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

Динамічна модель міжгалузевого балансу з урахуванням контролю над забрудненням без лагів
за авторством: Бойчук, М.В., та інші
Опубліковано: (2008)

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

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

Марковская модель авторегрессии с гетероскедастичными остатками
за авторством: Матвеев, А.А., та інші
Опубліковано: (2008)

Математическая модель расчета термонапряженного состояния оболочечных конструктивных элементов
за авторством: Москалева, Е.В.
Опубліковано: (2010)