1294
правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
Строка 10: | Строка 10: | ||
<math>a\in\Sigma</math> --- регулярные множества в алфавите <math>\Sigma</math>; | <math>a\in\Sigma</math> --- регулярные множества в алфавите <math>\Sigma</math>; | ||
(2) если <math>P,Q</math> --- регулярные множества в алфавите | (2) если <math>P</math>, <math>Q</math> --- регулярные множества в алфавите | ||
<math>\Sigma</math>, то регулярными являются множества | <math>\Sigma</math>, то регулярными являются множества | ||
<math>P\cup Q</math>, <math>PQ</math> и <math>P^*</math>; | <math>P\cup Q</math>, <math>PQ</math> и <math>P^*</math>; | ||
Строка 20: | Строка 20: | ||
методов задания языков, каждый из которых определяет в | методов задания языков, каждый из которых определяет в | ||
точности регулярные множества. Среди них --- | точности регулярные множества. Среди них --- | ||
[[регулярные выражения|''регулярные выражения'']], [[праволинейная грамматика|''праволинейные грамматики'']], | [[регулярные выражения|''регулярные выражения'']], [[автоматная грамматика|''автоматные грамматики'']], | ||
[[праволинейная грамматика|''праволинейные грамматики'']], | |||
[[регулярная грамматика|''регулярные грамматики'']], [[конечный автомат|''конечные автоматы'']], | [[регулярная грамматика|''регулярные грамматики'']], [[конечный автомат|''конечные автоматы'']], | ||
[[детерминированный конечный автомат|''детерминированные конечные автоматы'']]. | [[детерминированный конечный автомат|''детерминированные конечные автоматы'']]. |