Изменения

## В конспекте упоминается "свободный моноид", но не написано что это такое. Надо написать (в конспекте про моноид), и написать про то, какие еще бывают моноиды (кажется, это называется "моноид с порождающими соотношениями", но, может, говорят и "несвободный моноид"), поищите.

## Добавить английские аналоги терминам

## Множества языков (вроде Reg, и Reg') тут зачем-то пишутся курсивом, что вообще не принято, их всегда обозначают большими прямыми (возможно, жирными) буквами. '''Короче, везде надо использовать для классов языков \mathrm!'''

## Множества вроде R_i тоже следует обозначать большими прмямыми буквами, так как они перепутываются с языками L, M и т.п.)

# [[Прямое произведение ДКА]]

## Вообще зачем такой короткий конспект нужен, не знаю, надо придумать, куда его запихать.

## Английские термины

## Англоязычные источники (хотя бы википедия)

# [[Построение по НКА эквивалентного ДКА, алгоритм Томпсона]]

# [[Автоматы с eps-переходами. Eps-замыкание]]

## Опять классы языков курсивом

## Внутренние ссылки на автоматные и регулярные языки