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

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке 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*, путем перехода к спецификации в языке L
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2011)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Лексикографическое описание универбов в русском языке
за авторством: Гафарова, Р.И.
Опубліковано: (2007)

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

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

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

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

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

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

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

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