Вклад участника
7 декабря 2016
M-сводимость
Свойства
-1
M-сводимость
Свойства
+173
M-сводимость
Нет описания правки
+40
M-сводимость
Тьюринговый скачок
+33
16 октября 2016
Детерминированные конечные автоматы
Примеры
-12
Детерминированные конечные автоматы
Примеры
+125
Детерминированные конечные автоматы
Примеры
+18
10 октября 2016
Контексты и синтаксические моноиды
Примеры
+31
Контексты и синтаксические моноиды
Двухсторонний контекст
-9
Контексты и синтаксические моноиды
Свойства
+2
Контексты и синтаксические моноиды
Правый контекст
+13
Контексты и синтаксические моноиды
Язык L = 0^n1^n над алфавитом \Sigma = \{0,1\}
-7
Контексты и синтаксические моноиды
Язык L над алфавитом \Sigma = \{0,1\}
+39
Контексты и синтаксические моноиды
Язык L = \{\omega \mid |\omega| \bmod 2 = 0 \}
-20
Контексты и синтаксические моноиды
Свойства
+1
Контексты и синтаксические моноиды
Правый контекст
+2
Контексты и синтаксические моноиды
Примеры
+218
Контексты и синтаксические моноиды
Примеры
-4
Контексты и синтаксические моноиды
Примеры
+36
Контексты и синтаксические моноиды
Примеры
+106
Контексты и синтаксические моноиды
Примеры
+16
9 октября 2016
Контексты и синтаксические моноиды
Свойства
+24
Контексты и синтаксические моноиды
Примеры
-74
Контексты и синтаксические моноиды
Правый контекст
+108