1679
правок
Изменения
Нет описания правки
## Добавить английские аналоги терминам
# [[Регулярные языки: два определения и их эквивалентность]]
## Множества языков (вроде Reg, и Reg') тут зачем-то пишутся курсивом, что вообще не принято, их всегда обозначают большими прямыми (возможно, жирными) буквами.
## Множества вроде R_i тоже следует обозначать большими прмямыми буквами (\mathrm, кажется), так как они перепутываются с языками L, M и т.п.)
## Мне кажется, первое определение — это по сути означает множество языков, представимое регулярными выражениями, думаю, надо это упомянуть.
## <tex>\bigcap\limits_{R - nadreg}</tex>, вот это nadreg выглядит совершенно мерзко, надо от него избавиться. Возможно, найти/придумать разумный английский термин и писать под объединением что-то вроде R is X, где X — это название, которое вы найдется или придумаете.
# [[Детерминированные конечные автоматы]]
# [[Недетерминированные конечные автоматы]]
