String operations: Difference between revisions

Revision as of 00:30, 4 August 2015

Revision as of 18:22, 18 November 2015

Line 84:

String homomorphisms are [[monoid morphism]]s on the [[free monoid]], preserving the [[binary operation]] of [[string concatenation]]. Given a language ''L'', the set ''f''(''L'') is called the '''homomorphic image''' of ''L''. The '''inverse homomorphic image''' of a string ''s'' is defined as

:''f''⁻¹(''s'') = { ''w'' | ''f''(''w'')= ∈ ''s'' }

while the inverse homomorphic image of a language ''L'' is defined as