Аноним

Регулярные множества: различия между версиями

Материал из WEGA
нет описания правки
Нет описания правки
Нет описания правки
Строка 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:
методов задания языков, каждый из которых определяет в
методов задания языков, каждый из которых определяет в
точности регулярные множества. Среди них ---
точности регулярные множества. Среди них ---
[[регулярные выражения|''регулярные выражения'']], [[праволинейная грамматика|''праволинейные грамматики'']],
[[регулярные выражения|''регулярные выражения'']], [[автоматная грамматика|''автоматные грамматики'']],
[[праволинейная грамматика|''праволинейные грамматики'']],
[[регулярная грамматика|''регулярные грамматики'']], [[конечный автомат|''конечные автоматы'']],
[[регулярная грамматика|''регулярные грамматики'']], [[конечный автомат|''конечные автоматы'']],
[[детерминированный конечный автомат|''детерминированные конечные автоматы'']].
[[детерминированный конечный автомат|''детерминированные конечные автоматы'']].