{\displaystyle L\subseteq \Sigma ^{*}\times \mathbb {N} }