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

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L

Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам’яттю, яка потім перетворюється в автоматно еквівалентну специфікацію у мові L. A m...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2010
Автор:	Чеботарев, А.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/45244
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 4. — С. 60-69. — Бібліогр.: 9 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2011)

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

Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP
за авторством: Чеботарев, А.Н.
Опубліковано: (2019)

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

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

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

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

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

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

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

Взаимное преобразование спецификаций XML и ASN.1
за авторством: Мелащенко, А.О.
Опубліковано: (2009)

Интонация в крымскотатарском языке
за авторством: Меметов, А.М.
Опубліковано: (2012)

Глаголы с послелогами в английском языке и их эквиваленты в крымскотатарском языке
за авторством: Эмирусеинова, Э.Н.
Опубліковано: (2006)

Звукосимволизм в персидском языке
за авторством: Трасковская, Г.С.
Опубліковано: (2012)

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
за авторством: Чеботарев, А.Н.
Опубліковано: (2012)

Согласование взаимодействующих автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2015)

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

Синтез автомата, специфицированного множеством дизъюнктов
за авторством: Чеботарев, А.Н.
Опубліковано: (2003)

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

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

Виды метафоры в крымскотатарском языке
за авторством: Аблаев, Р.Я.
Опубліковано: (2010)

Именное словообразование в крымскотатарском языке
за авторством: Сейдаметова, М.
Опубліковано: (2001)

Звукоподражательные слова в персидском языке
за авторством: Трасковская, Г.С.
Опубліковано: (2012)

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

Прямая речь в крымскотатарском языке: структура, модели, пунктуация
за авторством: Алиева, А.Н.
Опубліковано: (2012)

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

Структурные особенности фирмонимов в английском языке
за авторством: Валова, Н.Ю., та інші
Опубліковано: (2008)

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

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

Развитие системы дифтонгов в немецком языке
за авторством: Мищенко, Н.В.
Опубліковано: (2004)

Особенности звукосимволических слов в крымскотатарском языке
за авторством: Аджимуратова, З.Н.
Опубліковано: (2006)

Артикли в английском языке: когнитивный анализ
за авторством: Долгина, Е.А.
Опубліковано: (2006)

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

Синонимия имени существительного в турецком языке
за авторством: Челебиев, Д.Э.
Опубліковано: (2011)

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

О фонетических стилях в немецком языке
за авторством: Проколова, Л.И.
Опубліковано: (2014)

О фонетических стилях в немецком языке
за авторством: Прокопова, Л.И.
Опубліковано: (2001)