KFU. Card publication. The Boolean algebra of piecewise testable languages

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

THE BOOLEAN ALGEBRA OF PIECEWISE TESTABLE LANGUAGES

Form of presentation

Articles in international journals and collections

Year of publication

2016

Язык

английский

Authors, employees of KFU

Selivanov Viktor Lvovich, author

Other authors

Konovalov Anton , author

Bibliographic description in the original language

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.

Annotation

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.

Keywords

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

The name of the journal

Lecture Notes in Computer Science

Please use this ID to quote from or refer to the card

https://repository.kpfu.ru/eng/?p_id=181607&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Selivanov Viktor Lvovich	ru_RU
dc.contributor.author	Konovalov Anton	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/eng/?p_id=181607&p_lang=2	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	Articles in international journals and collections	ru_RU