المؤلفون: Alexey Borodin

المصدر: Труды Института системного программирования РАН, Vol 26, Iss 3, Pp 103-112 (2018)

مصطلحات موضوعية: статический анализ, семафор, ошибка повтороной блокировки, анализ потока данных, регулярные языки, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/806; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

URL الوصول: https://doaj.org/article/a2af42063cc74440aaa123ab6debab78

المؤلفون: Бородин, А.

مصطلحات موضوعية: СТАТИЧЕСКИЙ АНАЛИЗ,СЕМАФОР,ОШИБКА ПОВТОРОНОЙ БЛОКИРОВКИ,АНАЛИЗ ПОТОКА ДАННЫХ,РЕГУЛЯРНЫЕ ЯЗЫКИ,STATIC ANALYSIS,MUTEX,ERROR OF DOUBLE LOCKING,DATA-FLOW ANALYSIS,REGULAR LANGUAGES

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/staticheskiy-poisk-oshibok-povtornoy-blokirovki-semafora
http://cyberleninka.ru/article_covers/15665276.png

المؤلفون: Крайнюков, Николай

مصطلحات موضوعية: ПАРАЛЛЕЛЬНЫЕ АЛГОРИТМЫ, МИНИМИЗАЦИЯ КОНЕЧНЫХ АВТОМАТОВ, КОНЕЧНЫЕ, СУФФИКСНЫЕ, ПРЕФИКСНЫЕ И ФАКТОРИАЛЬНЫЕ РЕГУЛЯРНЫЕ ЯЗЫКИ, ЯЗЫК СВОБОДНЫЕ ОТ СУФФИКСОВ, ПРЕФИКСОВ И ФАКТОРОВ

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/minimizatsiya-konechnyh-avtomatov-v-sluchae-subregulyarnyh-yazykov
http://cyberleninka.ru/article_covers/15493121.png

المؤلفون: ПОЛЯКОВ ВЛАДИМИР ИВАНОВИЧ, СКОРУБСКИЙ ВЛАДИМИР ИВАНОВИЧ

مصطلحات موضوعية: РЕГУЛЯРНЫЕ ЯЗЫКИ,REGULAR EXPRESSIONS,РЕГУЛЯРНЫЕ ВЫРАЖЕНИЯ,КОНЕЧНЫЕ АВТОМАТЫ,FINITE AUTOMATA,МОДЕЛИ АЛГОРИТМОВ,MODEL ALGORITHMS,БЛОК-СХЕМЫ,BLOCK DIAGRAM

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/preobrazovanie-modeley-algoritmov
http://cyberleninka.ru/article_covers/16470070.png

المؤلفون: Баумгертнер, Светлана

مصطلحات موضوعية: ОБОБЩЁННЫЙ НЕДЕТЕРМИНИРОВАННЫЙ КОНЕЧНЫЙ АВТОМАТ, ОБОБЩЁННОЕ РЕГУЛЯРНОЕ ВЫРАЖЕНИЕ, РЕГУЛЯРНЫЕ ЯЗЫКИ

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/analog-teoremy-klini-dlya-obobschyonnyh-nedeterminirovannyh-konechnyh-avtomatov
http://cyberleninka.ru/article_covers/14592708.png

المؤلفون: Долгов, Василий

مصطلحات موضوعية: ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ,РЕГУЛЯРНЫЕ ЯЗЫКИ,КОНЕЧНЫЕ АВТОМАТЫ,EQUIVALENCE RELATION,REGULAR LANGUAGES,FINITE AUTOMATA

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/ob-odnom-otnoshenii-ekvivalentnosti-na-mnozhestve-regulyarnyh-yazykov-i-ego-svoystvah
http://cyberleninka.ru/article_covers/14588208.png

المؤلفون: ШYP A.M.

مصطلحات موضوعية: БЕСПОВТОРНЫЕ ЯЗЫКИ,РЕГУЛЯРНЫЕ ЯЗЫКИ,REGULAR LANGUAGES,КОМБИНАТОРНАЯ СЛОЖНОСТЬ,COMBINATORIAL COMPLEXITY,ИНДЕКС РОСТА,GROWTH RATE,POWER-FREE LANGUAGES

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/indeksy-rosta-yazykov-ogranichennoy-eksponenty
http://cyberleninka.ru/article_covers/16869513.png

المؤلفون: Шyp, A.

مصطلحات موضوعية: БЕСПОВТОРНЫЕ ЯЗЫКИ, РЕГУЛЯРНЫЕ ЯЗЫКИ, КОМБИНАТОРНАЯ СЛОЖНОСТЬ, ИНДЕКС РОСТА

وصف الملف: text/html

الاتاحة: http://cyberleninka.ru/article/n/indeksy-rosta-yazykov-ogranichennoy-eksponenty
http://cyberleninka.ru/article_covers/14060413.png

المؤلفون: Гормакова, Ирина Владимировна

مصطلحات موضوعية: математические модели, регулярные языки, детерминированный конечный автомат, последовательность слов

وصف الملف: application/pdf

Relation: Гормакова И. В. Вычислительные свойства сетей клеточных автоматов / И. В. Гормакова // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Автоматика и приборостроение. – Харьков : НТУ "ХПИ", 2008. – № 56. – С. 53-56.; http://repository.kpi.kharkov.ua/handle/KhPI-Press/34825

الاتاحة: http://repository.kpi.kharkov.ua/handle/KhPI-Press/34825

المؤلفون: Alexey Borodin

المصدر: Труды Института системного программирования РАН, Vol 26, Iss 3, Pp 103-112 (2018)

مصطلحات موضوعية: анализ потока данных, статический анализ, Computer science, General Earth and Planetary Sciences, ошибка повтороной блокировки, lcsh:Electronic computers. Computer science, Semaphore, Algorithm, lcsh:QA75.5-76.95, семафор, регулярные языки, General Environmental Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::190e175474b83b1e33f0a68c8f315e34
https://doi.org/10.15514/ispras-2014-26(3)-5

المصدر: Вектор науки Тольяттинского государственного университета.

مصطلحات موضوعية: ПАРАЛЛЕЛЬНЫЕ АЛГОРИТМЫ, МИНИМИЗАЦИЯ КОНЕЧНЫХ АВТОМАТОВ, КОНЕЧНЫЕ, СУФФИКСНЫЕ, ПРЕФИКСНЫЕ И ФАКТОРИАЛЬНЫЕ РЕГУЛЯРНЫЕ ЯЗЫКИ, ЯЗЫК СВОБОДНЫЕ ОТ СУФФИКСОВ, ПРЕФИКСОВ И ФАКТОРОВ

وصف الملف: text/html

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2806::6c34e7eca0ab8839317e4c773cfc1ecb
http://cyberleninka.ru/article_covers/15493121.png

المصدر: Вектор науки Тольяттинского государственного университета.

مصطلحات موضوعية: ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ, РЕГУЛЯРНЫЕ ЯЗЫКИ, КОНЕЧНЫЕ АВТОМАТЫ

وصف الملف: text/html

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2806::c1570f729d71680b16267eb6ada9e9cf
http://cyberleninka.ru/article_covers/14588208.png

المصدر: Вектор науки Тольяттинского государственного университета.

مصطلحات موضوعية: ОБОБЩЁННЫЙ НЕДЕТЕРМИНИРОВАННЫЙ КОНЕЧНЫЙ АВТОМАТ, ОБОБЩЁННОЕ РЕГУЛЯРНОЕ ВЫРАЖЕНИЕ, РЕГУЛЯРНЫЕ ЯЗЫКИ

وصف الملف: text/html

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2806::fab4abb9b544a73fa8fdacfdda1b59a0
http://cyberleninka.ru/article/n/analog-teoremy-klini-dlya-obobschyonnyh-nedeterminirovannyh-konechnyh-avtomatov

المصدر: Известия высших учебных заведений. Приборостроение.

مصطلحات موضوعية: РЕГУЛЯРНЫЕ ЯЗЫКИ,REGULAR EXPRESSIONS,РЕГУЛЯРНЫЕ ВЫРАЖЕНИЯ,КОНЕЧНЫЕ АВТОМАТЫ,FINITE AUTOMATA,МОДЕЛИ АЛГОРИТМОВ,MODEL ALGORITHMS,БЛОК-СХЕМЫ,BLOCK DIAGRAM

وصف الملف: text/html

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2806::c38ceada2dd897fa723176d971f42c20
http://cyberleninka.ru/article/n/preobrazovanie-modeley-algoritmov