Проблема принадлежности: различия между версиями

Проблема принадлежности (посмотреть исходный код)

97 байт добавлено , 24 декабря 2009

нет описания правки

4194

правки

@@ Строка 1: / Строка 1: @@
-'''Проблема принадлежности''' (''Membership problem'') -
+'''Проблема принадлежности''' (''[[Membership problem]]'') -
 для заданного определенного
-типа описания языка и заданной цепочки </math>\omega<math>
+типа описания языка и заданной [[цепочка|цепочки]] <math>\omega</math>
 требуется установить, принадлежит ли
-цепочка </math>\omega<math> этому языку или нет.
+цепочка <math>\omega</math> этому языку или нет.
-Эффективно решается для ''регулярных выражений'' и
+Эффективно решается для ''[[регулярные выражения|регулярных выражений]]'' и
-''неразрешима'' для ''КС-грамматик''.
+''неразрешима'' для ''[[КС-Грамматика|КС-грамматик]]''.
 ==Литература==
 [Ахо-Хопкрофт-Ульман],
 [Касьянов/95]