DOI

We characterize up to isomorphism the Boolean algebra (BA, for short) of regular piecewise testable languages and show the decidability of classes of regular languages related to this characterization. This BA turns out isomorphic to several other natural BAs of regular languages, in particular to the BA of regular aperiodic languages.
Язык оригиналаанглийский
Название основной публикацииPursuit of the Universal
Страницы292-301
Число страниц10
DOI
СостояниеОпубликовано - 1 янв 2016
Событиеcomputability in europe-2016 -
Продолжительность: 27 июн 2016 → …

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ИздательSpringer Nature
Том9709
ISSN (печатное издание)0302-9743

конференция

конференцияcomputability in europe-2016
Период27/06/16 → …

ID: 126985975