КФУ. Карточка публикации. The Boolean algebra of piecewise testable languages

КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ

RUS

- EN
- 中文
- ES

THE BOOLEAN ALGEBRA OF PIECEWISE TESTABLE LANGUAGES

Форма представления

Статьи в зарубежных журналах и сборниках

Год публикации

2016

Язык

английский

Авторы, сотрудники КФУ

Селиванов Виктор Львович, автор

Другие авторы

Коновалов Антон , автор

Библиографическое описание на языке оригинала

Konovalov A. The Boolean algebra of piecewise testable languages / A. Konovalov, V. Selivanov // Lecture Notes in Computer Science, CiE 2016 (Eds. Arnold Beckmann et al.). - Berlin, Springer, 2016. - V. 9709, 292-301.

Аннотация

We characterise the specified Boolean algebra up to isomorphism using Ketonen's invariants. We prove decidability of the classes of regular languages relevant to this characterisation.

Ключевые слова

Re gular language, picewise testable language, Boolean algebra, Frechet ideal, decidability.

Название журнала

Lecture Notes in Computer Science

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку

https://repository.kpfu.ru/?p_id=181607

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Селиванов Виктор Львович	ru_RU
dc.contributor.author	Коновалов Антон	ru_RU
dc.date.accessioned	2016-01-01T00:00:00Z	ru_RU
dc.date.available	2016-01-01T00:00:00Z	ru_RU
dc.date.issued	2016	ru_RU
dc.identifier.citation	Konovalov A. The Boolean algebra of piecewise testable languages / A. Konovalov, V. Selivanov // Lecture Notes in Computer Science, CiE 2016 (Eds. Arnold Beckmann et al.). - Berlin, Springer, 2016. - V. 9709, 292-301.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/?p_id=181607	ru_RU
dc.description.abstract	Lecture Notes in Computer Science	ru_RU
dc.description.abstract	We characterise the specified Boolean algebra up to isomorphism using Ketonen's invariants. We prove decidability of the classes of regular languages relevant to this characterisation.	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Re gular language	ru_RU
dc.subject	picewise testable language	ru_RU
dc.subject	Boolean algebra	ru_RU
dc.subject	Frechet ideal	ru_RU
dc.subject	decidability.	ru_RU
dc.title	The Boolean algebra of piecewise testable languages	ru_RU
dc.type	Статьи в зарубежных журналах и сборниках	ru_RU