Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2010
1. Verfasser:	Чеботарев, А.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/45244
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 4. — С. 60-69. — Бібліогр.: 9 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Усовершенствованный метод синтеза автомата по его спецификации в языке L
von: Тимофеев, В.Г., et al.
Veröffentlicht: (2011)

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

Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L
von: Чеботарев, А.Н., et al.
Veröffentlicht: (2011)

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

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

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

Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
von: Глибовец, А.Н., et al.
Veröffentlicht: (2014)

Формальные методы анализа дискретных систем с использованием языка спецификаций
von: Крывый, С.Л., et al.
Veröffentlicht: (2009)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

Методика разработки и средства формализации функциональных спецификаций систем и устройств
von: Годлевский, А.Б., et al.
Veröffentlicht: (2016)

Алгебраическая интерпретация микропрограммного автомата с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2016)

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

Интонация в крымскотатарском языке
von: Меметов, А.М.
Veröffentlicht: (2012)

Композиционный подход к проектированию реактивных алгоритмов
von: Чеботарев, А.Н.
Veröffentlicht: (2013)

Согласование взаимодействующих автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2015)

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
von: Чеботарев, А.Н.
Veröffentlicht: (2012)

Синтез автомата, специфицированного множеством дизъюнктов
von: Чеботарев, А.Н.
Veröffentlicht: (2003)

Гендерно-маркированные единицы в современном английском языке
von: Измайлова, З.Ю., et al.
Veröffentlicht: (2011)

Виды метафоры в крымскотатарском языке
von: Аблаев, Р.Я.
Veröffentlicht: (2010)

Именное словообразование в крымскотатарском языке
von: Сейдаметова, М.
Veröffentlicht: (2001)

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

Мужчина и женщина в реальной жизни и в языке
von: Еремин, А.Н.
Veröffentlicht: (2006)

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

Структурные особенности фирмонимов в английском языке
von: Валова, Н.Ю., et al.
Veröffentlicht: (2008)

Анализ автоматно-алгебраических моделей
von: Скобелев, В.Г.
Veröffentlicht: (2012)

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

Развитие системы дифтонгов в немецком языке
von: Мищенко, Н.В.
Veröffentlicht: (2004)

Артикли в английском языке: когнитивный анализ
von: Долгина, Е.А.
Veröffentlicht: (2006)

Семантические типы междометий в украинском языке
von: Шевченко, Л.И.
Veröffentlicht: (2007)

Функциональные особенности артикля в новогреческом языке
von: Рыжевич, М.С.
Veröffentlicht: (2011)

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

Лексикографическое описание универбов в русском языке
von: Гафарова, Р.И.
Veröffentlicht: (2007)

О фонетических стилях в немецком языке
von: Проколова, Л.И.
Veröffentlicht: (2014)

Структура концепта человек в крымскотатарском языке
von: Симанская, Е.Э.
Veröffentlicht: (2011)

Жанры саркастических высказываний в английском языке
von: Филиппова, М.М.
Veröffentlicht: (2006)

Особенности функционирования сказуемого в крымскотатарском языке
von: Оказ, Л.С.
Veröffentlicht: (2006)

Безличные предложения в современном английском языке
von: Павлий, Б.В.
Veröffentlicht: (2002)

Синонимия имени существительного в турецком языке
von: Челебиев, Д.Э.
Veröffentlicht: (2011)

Особенности функционирования пословиц в современном английском языке
von: Шапурова, Н.А.
Veröffentlicht: (2008)

Системность слова и фразеологизма в английском языке
von: Дьякова, Н.А.
Veröffentlicht: (2004)