Skip to main content

All Questions

Filter by
Sorted by
Tagged with
10 votes
0 answers
400 views

Computing the ordinal of a rational language well-partially-ordered by the subword relation

Let $\Sigma$ be a finite set or "alphabet", $\Sigma^*$ the free monoid on $\Sigma$ or set of "words". If $w,w'\in \Sigma^*$, write $w\leq w'$ when $w$ is a "subword" of $w'$, i.e., can be obtained by ...
Gro-Tsen's user avatar
  • 32.4k