Генерация кода на основе детерминированного конечного автомата

Subject Terms: генерация, конечные автоматы, программируемые логические контроллеры, коды, детерминированные автоматы, парадигмы, программное обеспечение

File Description: application/pdf

Access URL: http://earchive.tpu.ru/handle/11683/71249

Генерация кода на основе детерминированного конечного автомата

Authors: Гительман, В. С., Тутов, Иван Андреевич

Subject Terms: генерация, коды, конечные автоматы, программируемые логические контроллеры, программное обеспечение, детерминированные автоматы, парадигмы

File Description: application/pdf

Relation: Молодежь и современные информационные технологии : сборник трудов XIX Международной научно-практической конференции студентов, аспирантов и молодых учёных, 21-25 марта 2022 г., г. Томск; http://earchive.tpu.ru/handle/11683/71249

Availability: http://earchive.tpu.ru/handle/11683/71249

Минимизация автоматов с таймаутами и временными ограничениями

Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154

Subject Terms: временные автоматы, автоматы с таймаутами, детерминированные автоматы

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000622963

АВТОМАТИЧЕСКОЕ ФОРМИРОВАНИЕ КОНТЕКСТА СИТУАЦИЙ В СИСТЕМАХ ОБВОЛАКИВАЮЩЕЙ БЕЗОПАСНОСТИ НА ОСНОВЕ МУЛЬТИАГЕНТНЫХ КОГНИТИВНЫХ АРХИТЕКТУР

Authors: Иванов, Петр, Макаревич, Олег, Нагоев, Залимхан

Subject Terms: ОБВОЛАКИВАЮЩИЙ ИНТЕЛЛЕКТ, СИСТЕМЫ ОБВОЛАКИВАЮЩЕЙ БЕЗОПАСНОСТИ, МУЛЬТИАГЕНТНЫЕ РЕКУРСИВНЫЕ КОГНИТИВНЫЕ АРХИТЕКТУРЫ, АБСТРАКТНЫЕ ДЕТЕРМИНИРОВАННЫЕ АВТОМАТЫ, СИНТЕЗ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/avtomaticheskoe-formirovanie-konteksta-situatsiy-v-sistemah-obvolakivayuschey-bezopasnosti-na-osnove-multiagentnyh-kognitivnyh
http://cyberleninka.ru/article_covers/15182510.png

Проблема эквивалентности в структурированных моделях вычислений ; Equivalence problem in the structured models of calculations

Authors: Великая, Я. Г.

Subject Terms: модели вычислений, трансформационный метод, конечные детерминированные автоматы, transformational method, problem of equivalence, finite deterministic automata

File Description: application/pdf

Relation: Великая Я. Г. Проблема эквивалентности в структурированных моделях вычислений / Я. Г. Великая // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2011. – № 17. – С. 10-15.; http://repository.kpi.kharkov.ua/handle/KhPI-Press/13339

Availability: http://repository.kpi.kharkov.ua/handle/KhPI-Press/13339

ПРОБЛЕМА ЭКВИВАЛЕНТНОСТИ В СТРУКТУРИРОВАННЫХ МОДЕЛЯХ ВЫЧИСЛЕНИЙ

Authors: Великая, Я.

Subject Terms: ТРАНСФОРМАЦИОННЫЙ МЕТОД,ПРОБЛЕМА ЭКВИВАЛЕНТНОСТИ,КОНЕЧНЫЕ ДЕТЕРМИНИРОВАННЫЕ АВТОМАТЫ,ТРАНСФОРМАЦіЙНИЙ МЕТОД,ПРОБЛЕМА ЕКВіВАЛЕНТНОСТі,КіНЦЕВі ДЕТЕРМіНОВАНі АВТОМАТИ,THE TRANSFORMATIONAL METHOD,A PROBLEM OF EQUIVALENCE,FINITE DETERMINISTIC AUTOMATA

File Description: text/html

Availability: http://cyberleninka.ru/article/n/problema-ekvivalentnosti-v-strukturirovannyh-modelyah-vychisleniy
http://cyberleninka.ru/article_covers/14383857.png

Обобщенный трансформационный метод и конечные детерминированные автоматы

Authors: Великая., Я. Г.

Subject Terms: математика, математическая кибернетика, математическое программирование, трансформационный метод, детерминированные автоматы, алгоритмы, эквивалентность

Relation: http://dspace.bsu.edu.ru/handle/123456789/53504

Availability: http://dspace.bsu.edu.ru/handle/123456789/53504

Обобщенный трансформационный метод и конечные детерминированные автоматы

Authors: Великая, Я. Г.

Subject Terms: естественные науки, математика, техника, вычислительная техника, трансформационный метод, детерминированные автоматы, алгоритмы, эквивалентность

Relation: http://dspace.bsu.edu.ru/handle/123456789/15131; Научные ведомости БелГУ. Сер. История. Политология. Экономика. Информатика; 19; 93; 103

Availability: http://dspace.bsu.edu.ru/handle/123456789/15131

Модели вычислений с однозначным покрытием

Authors: Хачатрян, В. Е., Великая, Я. Г.

Subject Terms: техника, радиоэлектроника, модели вычисления, детерминированные автоматы, многоленточные автоматы

Relation: http://dspace.bsu.edu.ru/handle/123456789/50287

Availability: http://dspace.bsu.edu.ru/handle/123456789/50287

Трансформационные методы сравнения моделей на эквивалентность

Authors: Хачатрян, В. Е.

Subject Terms: математика, математический анализ, эквивалентность, эквивалентные преобразования, программирование, детерминированные автоматы, многоленточные автоматы

Relation: http://dspace.bsu.edu.ru/handle/123456789/48901

Availability: http://dspace.bsu.edu.ru/handle/123456789/48901

Автоматическое формирование контекста ситуаций в системах обволакивающей безопасности на основе мультиагентных когнитивных архитектур

Source: Известия Южного федерального университета. Технические науки.

Subject Terms: ОБВОЛАКИВАЮЩИЙ ИНТЕЛЛЕКТ, СИСТЕМЫ ОБВОЛАКИВАЮЩЕЙ БЕЗОПАСНОСТИ, МУЛЬТИАГЕНТНЫЕ РЕКУРСИВНЫЕ КОГНИТИВНЫЕ АРХИТЕКТУРЫ, АБСТРАКТНЫЕ ДЕТЕРМИНИРОВАННЫЕ АВТОМАТЫ, СИНТЕЗ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/15182510.png
http://cyberleninka.ru/article/n/avtomaticheskoe-formirovanie-konteksta-situatsiy-v-sistemah-obvolakivayuschey-bezopasnosti-na-osnove-multiagentnyh-kognitivnyh

Проблема эквивалентности в структурированных моделях вычислений

Subject Terms: transformational method, problem of equivalence, модели вычислений, конечные детерминированные автоматы, finite deterministic automata, трансформационный метод

Access URL: http://repository.kpi.kharkov.ua/handle/KhPI-Press/13339

Проблема эквивалентности в структурированных моделях вычислений

Source: Вестник Национального технического университета Харьковский политехнический институт. Серия: Информатика и моделирование.

Subject Terms: ТРАНСФОРМАЦИОННЫЙ МЕТОД, ПРОБЛЕМА ЭКВИВАЛЕНТНОСТИ, КОНЕЧНЫЕ ДЕТЕРМИНИРОВАННЫЕ АВТОМАТЫ, ТРАНСФОРМАЦіЙНИЙ МЕТОД, ПРОБЛЕМА ЕКВіВАЛЕНТНОСТі, КіНЦЕВі ДЕТЕРМіНОВАНі АВТОМАТИ

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/problema-ekvivalentnosti-v-strukturirovannyh-modelyah-vychisleniy
http://cyberleninka.ru/article_covers/14383857.png

Обобщенный трансформационный метод и конечные детерминированные автоматы

Subject Terms: эквивалентность, математика, детерминированные автоматы, алгоритмы, естественные науки, техника, вычислительная техника, трансформационный метод

Access URL: https://openrepository.ru/article?id=5176

Модели вычислений с однозначным покрытием

Subject Terms: радиоэлектроника, модели вычисления, детерминированные автоматы, технические науки, многоленточные автоматы

Access URL: https://openrepository.ru/article?id=5804

Трансформационные методы сравнения моделей на эквивалентность

Subject Terms: математический анализ, эквивалентность, математика, детерминированные автоматы, эквивалентные преобразования, программирование, многоленточные автоматы

Access URL: https://openrepository.ru/article?id=21310

Минимизация автоматов с таймаутами и временными ограничениями ; Minimizing Finite State Machines with time guards and timeouts

Authors: Твардовский, Александр Сергеевич, Евтушенко, Нина Владимировна, Громов, Максим Леонидович

Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154

Subject Terms: временные автоматы, автоматы с таймаутами, детерминированные автоматы

File Description: application/pdf

Relation: vtls:000622963; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000622963

Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000622963

Некоторые задачи идентификации состояний для недетерминированных автоматов ; Some state identification problems of non-deterministic finite state machines

Authors: Евтушенко, Нина Владимировна, Кушик, Наталья Геннадьевна

Contributors: Томский государственный университет

Subject Terms: конечные автоматы детерминированные, конечные автоматы недетерминированные, умозрительные эксперименты, идентификация состояний автоматов, автоматы частичные, автоматы ненаблюдаемые, детерминированные автоматы, недетерминированные автоматы, автоматы наблюдаемые, Мура конечный автомат

File Description: application/pdf

Relation: vtls:000648794; URN:ISBN:9785936296222; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000648794

Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000648794

О синхронной композиции детерминированных автоматов

Authors: Евтушенко, Нина Владимировна, Косачев, Александр Сергеевич, Шнитман, Виктор Зиновьевич, Бурдонов, Игорь Борисович

Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г. Томск, 2018. С. 70-71

Subject Terms: синхронные композиции, детерминированные автоматы, Мура автомат, автоматные уравнения, теоремы

File Description: application/pdf

Relation: vtls:000651173; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651173

Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651173

К покомпонентной оптимизации синхронной композиции автоматов

Authors: Шварцкоп, Виктор Александрович

Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г. Томск, 2018. С. 92

Subject Terms: автоматные модели, детерминированные автоматы, компоненты, оптимизация

File Description: application/pdf

Relation: vtls:000650638; https://openrepository.ru/article?id=272194

Availability: https://openrepository.ru/article?id=272194