Вклад участника
16 января 2011
Примеры неразрешимых задач: задача о выводе в полусистеме Туэ
Нет описания правки
-4
Примеры неразрешимых задач: задача о выводе в полусистеме Туэ
Нет описания правки
+158
Примеры неразрешимых задач: задача о выводе в полусистеме Туэ
Новая страница: «{{Определение |definition = '''Полусистема Туэ(система подстановок)''' - это формальная система, оп…»
29 октября 2010
Иерархия Хомского формальных грамматик
Нет описания правки
м+5
Иерархия Хомского формальных грамматик
Нет описания правки
-1
Формальные грамматики
Нет описания правки
+197
Формальные грамматики
Нет описания правки
-2
Формальные грамматики
Нет описания правки
+23
14 октября 2010
Иерархия Хомского формальных грамматик
Нет описания правки
-2
Иерархия Хомского формальных грамматик
Нет описания правки
+2
Иерархия Хомского формальных грамматик
Нет описания правки
+311
Иерархия Хомского формальных грамматик
Новая страница: «''' Класс 0'''. К нулевому классу Холмского относятся грамматики <tex> \Gamma = <\Sigma, N, S \in N,P\subset N^{*}\…»
Формальные грамматики
Нет описания правки
+22
Формальные грамматики
Новая страница: «Определение: '''Формальная грамматика''' - четверка <math>\Gamma =<\Sigma, N, S \in N, P \in N^{*}\times (\Sigma\bigcup N)…»
