String operations: Difference between revisions

Content deleted Content added
replace 'letter' (too narrow) --> 'character'; move ebcdic/ascii example to 'string homomorphism' where it fits better
String projection: require citation for those sections that can't be sourced by Hopcroft.Ullman.1979
Line 128:
String projection may be promoted to the '''projection of a language'''. Given a [[formal language]] ''L'', its projection is given by
 
:<math>\pi_\Sigma (L)=\{\pi_\Sigma(s)\ \vert\ s\in L \}</math>{{cn}}
 
==Right quotient==