Изменения

'''Язык''' над алфавитом <tex>\Sigma</tex> {{---}} некоторое подмножество <tex>\Sigma^*</tex>. Иногда такие язык языки называют '''формальными''', чтобы подчеркнуть отличие от языков в привычном смысле.