A Noetherian and confluent rewrite system for idempotent semigroups

DOI10.1007/BF02573590zbMath0493.68087MaRDI QIDQ1168754

S. Singh

Publication date: 1982

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/134565

zbMATH Keywords

band; term rewriting systems; Church-Rosser- Property; decision procedure for word equality; replacement rules; terminating replacement system; unique normal form for words

Mathematics Subject Classification ID

68T99: Artificial intelligence

20M35: Semigroups in automata theory, linguistics, etc.

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

Related Items

Relatively free bands