Довести до ума раздл "Общие сведения теории формальных языков"

[gsvgit]

• Добавить про конкатенацию (над множествами), степень, звезду
• Примеры распознователей (в сноске)
• Примеры генераторов (в сноске)
• Пример работы системы переписывания строк. Возможно, сразу на КС грамматике.