Definition. Language [language] A language is any set LL (including infinite sets) such that L⊂Σ*L \subset \Sigma \ast. Even L=⌀L = \varnothing is okay.