Форма представления | Статьи в российских журналах и сборниках |
Год публикации | 2014 |
Язык | русский |
|
Селиванов Виктор Львович, автор
|
|
Коновалов Антон , автор
|
Библиографическое описание на языке оригинала |
Коновалов А.С. Булевы алгебры регулярных языков / А.С. Коновалов, В.Л. Селиванов // Алгебра и логика. - 2013. - Т. 52, № 6. - С. 676-711. |
Аннотация |
Получена характеризация с точностью до изоморфизма нескольких популярных булевых алгебр регулярных языков конечных и бесконечных слов |
Ключевые слова |
Регулярный язык, омега-язык, булева алгебра, идеал Фреше, разрешимость |
Название журнала |
Алгебра и логика
|
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=181624 |
Полная запись метаданных |
Поле DC |
Значение |
Язык |
dc.contributor.author |
Селиванов Виктор Львович |
ru_RU |
dc.contributor.author |
Коновалов Антон |
ru_RU |
dc.date.accessioned |
2014-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2014-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2014 |
ru_RU |
dc.identifier.citation |
Коновалов А.С. Булевы алгебры регулярных языков / А.С. Коновалов, В.Л. Селиванов // Алгебра и логика. - 2013. - Т. 52, № 6. - С. 676-711. |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/?p_id=181624 |
ru_RU |
dc.description.abstract |
Алгебра и логика |
ru_RU |
dc.description.abstract |
Получена характеризация с точностью до изоморфизма нескольких популярных булевых алгебр регулярных языков конечных и бесконечных слов |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
Регулярный язык |
ru_RU |
dc.subject |
омега-язык |
ru_RU |
dc.subject |
булева алгебра |
ru_RU |
dc.subject |
идеал Фреше |
ru_RU |
dc.subject |
разрешимость |
ru_RU |
dc.title |
Булевы алгебры регулярных языков |
ru_RU |
dc.type |
Статьи в российских журналах и сборниках |
ru_RU |
|