PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (211)
Orphanage
Unclass'd (1)
Unproven (472)
Corrections (36)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: Very low Entry average rating: No information on entry rating
prefix set (Definition)

Let $ X$ be a set, and $ w\in X^*$ be a word, i.e. an element of the free monoid on $ X$. A word $ v\in X^*$ is called prefix of $ w$ when a second word $ z\in X^*$ exists such that $ x=vz$.

Note that the empty word $ \varepsilon$ and $ w$ are prefix of $ w$. The prefix set of $ w$ is the set $ \mathrm{pref}(w)$ of prefixes of $ w$, i.e. if $ w=w_1w_2...w_n$ with $ w_j\in X$ for each $ j\in\{1,...,n\}$ we have

$\displaystyle \mathrm{pref}(w)=\{\varepsilon,\ w_1,\ w_1w_2,\ ... ,\ w_1w_2...w_{n-1},\ w\}.$



"prefix set" is owned by Mazzu.
(view preamble)

View style:

Also defines:  prefix, prefix set
Keywords:  free semigroup, word
Log in to rate this entry.
(view current ratings)

Cross-references: empty word, free monoid, word
There are 12 references to this entry.

This is version 2 of prefix set, born on 2006-08-25, modified 2006-08-25.
Object id is 8292, canonical name is PrefixSet.
Accessed 2277 times total.

Classification:
AMS MSC: 20M05 (Group theory and generalizations :: Semigroups :: Free semigroups, generators and relations, word problems)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)