|
Известия высших учебных заведений. Математика, 2010, номер 1, страницы 34–58
(Mi ivm6551)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Взвешенные автоматы и взвешенная логика на бесконечных словах
М. Дростеa, Г. Рахонисb a Кафедра компьютерных наук, Университет Лейпцига, Лейпциг, Германия
b Математический факультет, Университет Аристотеля в Салониках, Салоники, Греция
Аннотация:
Вводятся взвешенные автоматы над бесконечными словами с принимающим условием Мюллера. Показывается, что поведение таких автоматов совпадает с семантикой взвешенных ограниченных высказываний монадической логики второго порядка, и устанавливается эквивалентность взвешенных автоматов Мюллера и Бюхи над некоторыми полукольцами.
Ключевые слова:
взвешенная логика, взвешенные автоматы Мюллера, инфинитарные формальные степенные ряды, взвешенные автоматы Бюхи.
Поступила: 20.03.2007
Образец цитирования:
М. Дросте, Г. Рахонис, “Взвешенные автоматы и взвешенная логика на бесконечных словах”, Изв. вузов. Матем., 2010, № 1, 34–58; Russian Math. (Iz. VUZ), 54:1 (2010), 26–45
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm6551 https://www.mathnet.ru/rus/ivm/y2010/i1/p34
|
Статистика просмотров: |
Страница аннотации: | 954 | PDF полного текста: | 104 | Список литературы: | 46 | Первая страница: | 8 |
|