Редактирование: Конструирование Компиляторов, Теоретический минимум (2012)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 44: | Строка 44: | ||
Регулярное выражение и обозначаемое им регулярное множество определяются следующим образом: | Регулярное выражение и обозначаемое им регулярное множество определяются следующим образом: | ||
- | * <math> | + | * <math> \varnothing </math> — обозначает множество <math> \varnothing </math> |
- | * <math> | + | * <math> \epsilon </math> — обозначает множество <math>\{ \epsilon \}</math> |
- | * <math>~a</math> — обозначает множество <math> | + | * <math>~a</math> — обозначает множество <math>\{ a \}</math> |
* Если регулярные выражения ''p'' и ''q'' обозначают множества ''P'' и ''Q'' соответственно, то: | * Если регулярные выражения ''p'' и ''q'' обозначают множества ''P'' и ''Q'' соответственно, то: | ||
- | ** <math>~(p|q)</math> обозначает <math> | + | ** <math>~(p|q)</math> обозначает <math>P \cup Q</math> |
- | ** <math> | + | ** <math>(pq)</math> обозначает <math>PQ</math> |
- | ** <math> | + | ** <math>(p^*)</math> обозначает <math>P^*</math> |
* Ничто другое не является регулярным выражением в данном алфавите | * Ничто другое не является регулярным выражением в данном алфавите | ||