RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



ПДМ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


ПДМ, 2010, номер 4(10), страницы 64–72 (Mi pdm249)  

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Логическое проектирование дискретных автоматов

Регулярная форма спецификации детерминированных автоматов в языке L

А. Н. Чеботарев

Институт кибернетики НАН Украины, г. Киев, Украина

Аннотация: Исследуются некоторые формы представления спецификаций детерминированных циклических автоматов в языке L. Использование таких форм при построении спецификации уменьшает возможность допущения ошибок.

Ключевые слова: язык спецификации, конечный автомат, циклический автомат, сверхслово.

Полный текст: PDF файл (516 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 519.713.1

Образец цитирования: А. Н. Чеботарев, “Регулярная форма спецификации детерминированных автоматов в языке L”, ПДМ, 2010, № 4(10), 64–72

Цитирование в формате AMSBIB
\RBibitem{Che10}
\by А.~Н.~Чеботарев
\paper Регулярная форма спецификации детерминированных автоматов в~языке~L
\jour ПДМ
\yr 2010
\issue 4(10)
\pages 64--72
\mathnet{http://mi.mathnet.ru/pdm249}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/pdm249
  • http://mi.mathnet.ru/rus/pdm/y2010/i4/p64

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Chebotarev A.N., “Problems of Synthesis of SIGMA-Automata Specified in Languages Lp and Lf of First Order Logic”, Cybern. Syst. Anal., 53:5 (2017), 675–683  crossref  mathscinet  zmath  isi  scopus
    2. Chebotarev A.N., “Some Subsets of Monadic First-Order Logic (Mfo) Used For the Specification and Synthesis of S-Automata”, Cybern. Syst. Anal., 53:4 (2017), 512–523  crossref  mathscinet  zmath  isi  scopus
    3. Chebotarev A.N., “Synthesis of SIGMA-Automata Specified in the First Order Logical Languages Lp and Lf”, Cybern. Syst. Anal., 54:4 (2018), 527–540  crossref  mathscinet  zmath  isi  scopus
  • Прикладная дискретная математика
    Просмотров:
    Эта страница:102
    Полный текст:23
    Литература:39
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020