Concatenation (Formal Systems)/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Concatenation in the context of Formal Systems

Arbitrary Example 1

Let $a, b, c \in \AA$.

Then concatenating $b$ to $a$ results in the word $ab$, and concatenating $c$ gives the word $abc$.

Concatenating $b$ then gives $abcb$.

Concatenating $aba$ to $aabcba$ gives the word $aabcbaaba$.


Arbitrary Example 2

Let $A$ be the string $\text {dog}$.

Let $B$ be the string $\text {house}$.

Then concatenating $B$ to $A$ results in the string $\text {doghouse}$.