Вклад участника
6 января 2015
ДМП-автоматы и неоднозначность
Нет описания правки
-19
ДМП-автоматы и неоднозначность
Нет описания правки
-28
ДМП-автоматы и неоднозначность
Нет описания правки
+6834
ДМП-автоматы и неоднозначность
переименовал ДМП-автоматы и неоднозначность в 12222222
Теория формальных языков
МП-автоматы
ДМП-автоматы и неодназначность
переименовал ДМП-автоматы и неодназначность в ДМП-автоматы и неоднозначность
ДМП-автоматы и неоднознчность
переименовал ДМП-автоматы и неодназначность в ДМП-автоматы и неоднознчность
мДМП-автоматы и неоднознчность
Нет описания правки
+16
5 января 2015
ДМП-автоматы и неоднознчность
Источники информации
+329
ДМП-автоматы и неоднознчность
См. также
+429
ДМП-автоматы и неоднознчность
Теоремы
+889
ДМП-автоматы и неоднознчность
Нет описания правки
+125
ДМП-автоматы и неоднознчность
Теоремы
-2299
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
+60
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Дерево разбора
-384
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
-9
ДМП-автоматы и неоднознчность
Нет описания правки
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Дерево разбора
-10
ДМП-автоматы и неоднознчность
Теоремы
-4607
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Дерево разбора
+218
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Дерево разбора
+38
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Дерево разбора
+15
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Дерево разбора
+7057
ДМП-автоматы и неоднознчность
Теоремы
+1
ДМП-автоматы и неоднознчность
Теоремы
+1
ДМП-автоматы и неоднознчность
Теоремы
+818
ДМП-автоматы и неоднознчность
Теоремы
+3498
ДМП-автоматы и неоднознчность
Теоремы
+465
ДМП-автоматы и неоднознчность
Нет описания правки
-2
ДМП-автоматы и неоднознчность
Нет описания правки
+2277
ДМП-автоматы и неоднознчность
Нет описания правки
+156
ДМП-автоматы и неоднознчность
Теоремы
-8240
ДМП-автоматы и неоднознчность
Теорема 0
+342
4 января 2015
ДМП-автоматы и неоднознчность
Теорема 0
+144
ДМП-автоматы и неоднознчность
Теоремы
+7672
ДМП-автоматы и неоднознчность
Теоремы
+218
ДМП-автоматы и неоднознчность
Нет описания правки
+1
ДМП-автоматы и неоднознчность
Нет описания правки
+12
ДМП-автоматы и неоднознчность
Нет описания правки
+157
ДМП-автоматы и неоднознчность
Теоремы
+1898
ДМП-автоматы и неоднознчность
Теоремы
+34
ДМП-автоматы и неоднознчность
Нет описания правки
+63
ДМП-автоматы и неоднознчность
Нет описания правки
-13
ДМП-автоматы и неоднознчность
Нет описания правки
-247
31 декабря 2014
ДМП-автоматы и неоднознчность
Нет описания правки
+436
ДМП-автоматы и неоднознчность
Новая страница: «{{В разработке}}»
Теория формальных языков
МП-автоматы
+63
Алгоритм Бржозовского
Нет описания правки
-28
Алгоритм Бржозовского
Корректность
-550