Branches History Index

◀ ▲ ▶Branches / Logic / Definition: Concatenation of Languages

Definition: Concatenation of Languages

Let $L_1, L_2$ be languages over some alphabets. The concatenation "$\cdot$" of the languages $L_1, L_2$ is a language defined as $$L_1L_2=L_1\cdot L_2:=\{uw\mid u\in L_1, w\in L_2\}.$$

Mentioned in:

Definitions: 1 2 3

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs

References

Bibliography

  1. Erk, Katrin; Priese, Lutz: "Theoretische Informatik", Springer Verlag, 2000, 2nd Edition
  2. Hoffmann, Dirk: "Theoretische Informatik, 3. Auflage", Hanser, 2015