Definition:Concatenation

From CS2800 wiki
Revision as of 10:17, 20 April 2018 by {{GENDER:Mdg39|[math]'"2}} [/math]'"7
(<math>1) </math>2 | <math>3 (</math>4) | <math>5 (</math>6)
Definition: concatenation
The function [math]\href{/cs2800/wiki/index.php/Cat}{cat} : \href{/cs2800/wiki/index.php?title=%CE%A3%5E*&action=edit&redlink=1}{Σ^*} \href{/cs2800/wiki/index.php/%5Ctimes}{\times} \href{/cs2800/wiki/index.php?title=%CE%A3%5E*&action=edit&redlink=1}{Σ^*} \href{/cs2800/wiki/index.php/%E2%86%92}{→} \href{/cs2800/wiki/index.php?title=%CE%A3%5E*&action=edit&redlink=1}{Σ^*} [/math] is given inductively by [math]cat(x,ε) := x [/math] and [math]cat(x,ya) := cat(x,y)a [/math].