Axiomatizing the subsumption and subword preorders on finite and infinite partial words

Research output: Contribution to journalArticle

4 Citations (Scopus)


We consider two-sorted algebras of finite and infinite partial words equipped with the subsumption preorder and the operations of series and parallel product and omega power. It is shown that the valid equations and inequations of these algebras can be described by an infinite collection of simple axioms, and that no finite axiomatization exists. We also prove similar results for two related preorders, namely for the induced partial subword preorder and the partial subword preorder. Along the way of proving these results, we provide a concrete description of the free algebras in the corresponding varieties in terms of generalized series-parallel partial words.

Original languageEnglish
Pages (from-to)225-248
Number of pages24
JournalTheoretical Computer Science
Issue number1-2
Publication statusPublished - Feb 28 2002


ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this