Rewriting in Varieties of Idempotent Semigroups

机译：重写幂等半群的各种形式

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We consider rewriting as a tool for solving identity problems in varieties of idempotent semigroups. It is known that there exist finite canonical term rewrite systems and finite canonical word rewrite systems for only a very limited number of those varieties. We present a finite canonical conditional word rewrite system for a particular variety in which the classical approaches cannot be applied. Moreover, we obtain infinite single letter deleting rewrite systems for each join-irreducible variety.

机译：我们认为重写是解决各种幂等半群中身份问题的工具。已知存在仅用于有限数量的那些变体的有限规范术语重写系统和有限规范单词重写系统。我们为不能应用经典方法的特定变体提供了一个有限的规范条件词重写系统。此外，我们为每个不可减少的联接获得了无限的单字母删除重写系统。

著录项

来源
《Algebraic informatics》|2011年|p.185-200|共16页
会议地点 Linz(AT);Linz(AT)
作者
Ondfej Klima; Miroslav Korbelar; Libor Polak;
展开▼
作者单位

Department of Mathematics and Statistics, Masaryk University Kotlafska 2, 611 37 Brno, Czech Republic;

Department of Mathematics and Statistics, Masaryk University Kotlafska 2, 611 37 Brno, Czech Republic;

Department of Mathematics and Statistics, Masaryk University Kotlafska 2, 611 37 Brno, Czech Republic;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;代数、数论、组合理论;
关键词
rewriting; identity problems; varieties of semigroups;

机译：改写身份问题；半群的变体;

相似文献

外文文献
中文文献
专利

1. Idempotent separating congruence on a regular semigroup with a regular idempotent [J] . K. Indhira, V. M. Chandrasekaran Advanced Studies in Theoretical Physics . 2013,第1a4期

机译：正规半群与正规幂等分的幂等分离同余
2. η-Simple semigroups without zero and η~*-simple semigroups with a least non-zero idempotent [J] . Gigoń R.S. Semigroup Forum . 2013,第1期

机译：没有零的η-简单半群和具有最小非零等幂的η〜*-简单半群
3. The semigroup of ultrafilters near an idempotent of a semitopological semigroup [J] . M. Akbari Tootkaboni, T. Vahed Topology and its applications . 2012,第16期

机译：在半拓扑半群的幂等附近的超滤子半群
4. Rewriting in Varieties of Idempotent Semigroups [C] . Ondrej Klima, Miroslav Korbelar, Libor Polak International Conference on Algebraic Informatics . 2011

机译：重写idempotent半群的品种
5. Automata, transformation semigroups, and languages: Standard automata for varieties of formal languages. [D] . Jang, Wuufang. 1989

机译：自动机，转换半群和语言：各种形式语言的标准自动机。
6. ON THE IMBEDDING OF A FINITE COMMUTATIVE SEMIGROUP OF IDEMPOTENTS IN A UNIQUELY FACTORABLE SEMIGROUP [O] . Milo W. Weaver 1956

机译：关于完全分解的幂等幂的有限交换半幂集的嵌入
7. -Simple semigroups without zero and -simple semigroups with a least non-zero idempotent [O] . 2013

机译：-没有零和的简单半群 -具有至少非零幂等的简单半群

Rewriting in Varieties of Idempotent Semigroups

摘要

著录项

相似文献

相关主题

期刊订阅