The Boolean Algebra of Piecewise Testable Languages

机译：分段可测试语言的布尔代数

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：我们对正则分段可测试语言的布尔代数（简称BA）进行同构描述，并显示与此特征相关的正则语言类的可判定性。该BA变成了同其他几种常规语言的自然BA的同构，尤其是常规非周期性语言的BA。

著录项

来源
《Conference on computability in Europe》|2016年|292-301|共10页
会议地点
作者
Anton Konovalov; Victor Selivanov;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Boolean algebra; Frechet ideal; Regular language; Aperiodic language; Piecewise testable language;

机译：布尔代数雀斑理想;普通语言;非周期性语言;可分段测试的语言;

相似文献

外文文献
中文文献
专利

1. On Boolean combinations forming piecewise testable languages [J] . Masopust Tomas, Thomazo Michael Theoretical computer science . 2017,第期

机译：关于布尔组合形成分段可测试语言
2. Boolean algebras of unambiguous context-free languages [J] . Didier Caucal LIPIcs : Leibniz International Proceedings in Informatics . 2008,第2期

机译：不含上下文的语言的布尔代数
3. ALGEBRAIC GEOMETRY OVER BOOLEAN ALGEBRAS IN THE LANGUAGE WITH CONSTANTS [J] . A. N. Shevlyakov Journal of Mathematical Sciences . 2015,第6期

机译：常数形式的布尔代数上的代数几何。
4. The Boolean Algebra of Piecewise Testable Languages [C] . Anton Konovalov, Victor Selivanov Conference on Computability in Europe . 2016

机译：尺寸可测试语言的布尔代数
5. BOOLEAN-VALUED MODELS OF SET THEORY WHEN THE BOOLEAN ALGEBRA IS A PROPER CLASS IN THE GROUND MODEL. [D] . PELLETIER, DONALD HECTOR. 1971

机译：当布尔代数是地面模型中的适当类时，集合论的布尔值模型。
6. Piecewise linear and Boolean models of chemical reaction networks [O] . Alan Veliz-Cuba, Ajit Kumar, Krešimir Josić -1

机译：化学反应网络的分段线性和布尔模型
7. On Boolean Combinations forming Piecewise Testable Languages [O] . Masopust, Tomáš, Thomazo, Michaël 2017

机译：形成分段可测试语言的布尔组合
8. Boolean Minimization and Algebraic Factorization Procedures for Fully Testable Sequential Machines. [R] . Devadas, S., Keutzer, K. 1989

机译：完全可测顺序机的布尔最小化和代数分解程序。

The Boolean Algebra of Piecewise Testable Languages

摘要

著录项

相似文献

相关主题

期刊订阅