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

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

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



Изв. вузов. Матем.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Изв. вузов. Матем., 2010, номер 1, страницы 34–58 (Mi ivm6551)  

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

Взвешенные автоматы и взвешенная логика на бесконечных словах

М. Дростеa, Г. Рахонисb

a Кафедра компьютерных наук, Университет Лейпцига, Лейпциг, Германия
b Математический факультет, Университет Аристотеля в Салониках, Салоники, Греция

Аннотация: Вводятся взвешенные автоматы над бесконечными словами с принимающим условием Мюллера. Показывается, что поведение таких автоматов совпадает с семантикой взвешенных ограниченных высказываний монадической логики второго порядка, и устанавливается эквивалентность взвешенных автоматов Мюллера и Бюхи над некоторыми полукольцами.

Ключевые слова: взвешенная логика, взвешенные автоматы Мюллера, инфинитарные формальные степенные ряды, взвешенные автоматы Бюхи.

Полный текст: PDF файл (328 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 2010, 54:1, 26–45

Реферативные базы данных:

УДК: 519.766+519.713
Поступила: 20.03.2007

Образец цитирования: М. Дросте, Г. Рахонис, “Взвешенные автоматы и взвешенная логика на бесконечных словах”, Изв. вузов. Матем., 2010, № 1, 34–58; Russian Math. (Iz. VUZ), 54:1 (2010), 26–45

Цитирование в формате AMSBIB
\RBibitem{DroRah10}
\by М.~Дросте, Г.~Рахонис
\paper Взвешенные автоматы и взвешенная логика на бесконечных словах
\jour Изв. вузов. Матем.
\yr 2010
\issue 1
\pages 34--58
\mathnet{http://mi.mathnet.ru/ivm6551}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2664484}
\zmath{https://zbmath.org/?q=an:1184.68314}
\transl
\jour Russian Math. (Iz. VUZ)
\yr 2010
\vol 54
\issue 1
\pages 26--45
\crossref{https://doi.org/10.3103/S1066369X10010044}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-78349273844}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ivm6551
  • http://mi.mathnet.ru/rus/ivm/y2010/i1/p34

    ОТПРАВИТЬ: 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. Droste M., Meinecke I., “Describing Average- and Longtime-Behavior by Weighted MSO Logics”, Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 6281, 2010, 537–548  crossref  mathscinet  zmath  adsnasa  isi  scopus
    2. Droste M., Meinecke I., “Weighted Automata and Weighted Mso Logics for Average and Long-Time Behaviors”, Inf. Comput., 220 (2012), 44–59  crossref  mathscinet  zmath  isi  scopus
    3. Mandrali E., Rahonis G., “Weighted First-Order Logics Over Semirings”, Acta Cybern., 22:2 (2015), 435–483  crossref  isi
    4. Kappe T., Lion B., Arbab F., Talcott C., “Soft Component Automata: Composition, Compilation, Logic, and Verification”, Sci. Comput. Program., 183 (2019), UNSP 102300  crossref  isi
  • Известия высших учебных заведений. Математика Russian Mathematics (Izvestiya VUZ. Matematika)
    Просмотров:
    Эта страница:737
    Полный текст:72
    Литература:38
    Первая стр.:8
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020