Вклад участника
4 июня 2015
Атрибутные транслирующие грамматики
Атрибуты в ANTLR
+28
Атрибутные транслирующие грамматики
Нет описания правки
-1
Атрибутные транслирующие грамматики
Нет описания правки
+109
Атрибутные транслирующие грамматики
Пример S-атрибутной грамматики.
Атрибутные транслирующие грамматики
Нет описания правки
+179
Атрибутные транслирующие грамматики
Пример L-атрибутной грамматики
+94
Файл:Real id1, id2, id3.png
загружена новая версия «Файл:Real id1, id2, id3.png»
Файл:Real id1, id2, id3.png
Нет описания правки
Атрибутные транслирующие грамматики
Пример S-атрибутной грамматики.
+59
Файл:3mul5add4.png
Нет описания правки
Атрибутные транслирующие грамматики
Пример S-атрибутной грамматики.
+25
Атрибутные транслирующие грамматики
Нет описания правки
Атрибутные транслирующие грамматики
Пример L-атрибутной грамматики
-1
Атрибутные транслирующие грамматики
Нет описания правки
+39
Атрибутные транслирующие грамматики
Нет описания правки
+41
Атрибутные транслирующие грамматики
Атрибуты в ANTLR
+36
Атрибутные транслирующие грамматики
Атрибуты в ANTLR
+1053
Атрибутные транслирующие грамматики
Нет описания правки
-1620
Атрибутные транслирующие грамматики
Нет описания правки
-10
Атрибутные транслирующие грамматики
Нет описания правки
+361
Атрибутные транслирующие грамматики
Нет описания правки
+76
Атрибутные транслирующие грамматики
Нет описания правки
+45
Атрибутные транслирующие грамматики
Нет описания правки
+259
Атрибутные транслирующие грамматики
Нет описания правки
+2391
3 июня 2015
Атрибутные транслирующие грамматики
Нет описания правки
+2437
Атрибутные транслирующие грамматики
Нет описания правки
+2846
Атрибутные транслирующие грамматики
Нет описания правки
+3528
Атрибутные транслирующие грамматики
Нет описания правки
+1943
Атрибутные транслирующие грамматики
Новая страница: «<wikitex>Часто, осуществляя разбор, мы хотим извлечь какие-то данные или что-то сделать, а не ...»
10 января 2015
Обсуждение:Теорема Райса-Шапиро
Нет описания правки
+1
Обсуждение:Теорема Райса-Шапиро
Нет описания правки
-1
Обсуждение:Теорема Райса-Шапиро
Нет описания правки
+214
Теорема о рекурсии
Теорема о неподвижной точке
-4
9 января 2015
Разрешимые (рекурсивные) языки
Примеры неразрешимых множества
-2
Разрешимые (рекурсивные) языки
Примеры разрешимых множества
-2
Лемма о разрастании для КС-грамматик
Пример доказательства неконтекстно-свободности языка с использованием леммы
+16
Приведение грамматики к ослабленной нормальной форме Грейбах
Приведение грамматики к ослабленной нормальной форме Грейбах
Устранение левой рекурсии
Пример
+30
16 июня 2014
Матроид Вамоса
Свойства
+265
Определение матроида
Аксиоматическое определение
-2
Определение матроида
Аксиоматическое определение
+206
Матроид Вамоса
Свойства
+46
Матроид Вамоса
Свойства
+34
Матроид Вамоса
Свойства
+4
Матроид Вамоса
Свойства
+1023
Матроид Вамоса
Нет описания правки
Матроид Вамоса
Нет описания правки
+424
Матроид Вамоса
Доказательство матроидной природы
+1
Матроид Вамоса
Доказательство матроидной природы
-6
Матроид Вамоса
Нет описания правки
+1227