Формальные языки и гомоморфизмы

Общие сведения

Формальный язык — это множество слов над некоторым алфавитом.

Слова образуются из символов алфавита и могут объединяться различными операциями.

Гомоморфизм — отображение, переводящее символы одного алфавита в строки другого.

Он используется для преобразования языков.