Вклад участника
19 января 2012
Возможность порождения формальной грамматикой произвольного перечислимого языка
часть 2
+2024
Возможность порождения формальной грамматикой произвольного перечислимого языка
часть 1
10 ноября 2011
Участник:Filchenko
Новая страница: «Николай Фильченко Мои контакты: * ICQ 403-863-699 * skype finomen812 * почта finomen812@gmail.com * jabber finomen@jabber.ru»
Обсуждение:Формальные грамматики
ответ2
+187
Формальные грамматики
Определения: объединил определения
-408
Формальные грамматики
Обозначения: фикс обозначений
+46
Обсуждение:Формальные грамматики
ToDo: ответ
+225
Формальные грамматики
Правильные скобочные последовательности: пример поинтересней
+339
Формальные грамматики
определение языка - фикс
-165
Формальные грамматики
фикс определений
+1
Формальные грамматики
еще несколько правок
-436
Формальные грамматики
Определения: вынес обозначения, добавил забытое
+244
Формальные грамматики
фикс структуры
+21
Формальные грамматики
литература
+347
Формальные грамматики
фикс ссылок
+140
Формальные грамматики
сслыка на левоторонний вывод, еще несколько тире
+173
Формальные грамматики
опечатка
-2
Формальные грамматики
обозначения, переместил определение терминала
+440
Формальные грамматики
Арифметические выражения: тире
+16
Формальные грамматики
Исправлены тире
+1
Формальные грамматики
Исправил пример - арифметические выражения
+792
Формальные грамматики
Исправил пример - псп
+34
Формальные грамматики
Определение вывода за ноль или более шагов исправил
+43
Формальные грамматики
Определение вывода за 1 шаг исправил
Формальные грамматики
Исправлено определение P
+13
Формальные грамматики
ссылка на алфавит исправлена
+151
Формальные грамматики
убрал рамку
-10
8 ноября 2011
Формальные грамматики
Превая моя версия
+1778
Файл:FG Tree1.png
загружена новая версия «Файл:FG Tree1.png»
Файл:FG Tree1.png
загружена новая версия «Файл:FG Tree1.png»
Файл:FG Tree1.png
Дерево рвзбора для строки (()())
29 июня 2011
26 июня 2011
Аксиоматизация матроида циклами
косметика
м-5
Аксиоматизация матроида циклами
косметика
м-22
Аксиоматизация матроида циклами
литература
+232
Аксиоматизация матроида циклами
косметика
м+32
Аксиоматизация матроида циклами
косметика
м+41
Аксиоматизация матроида циклами
русский язык
м+37
Аксиоматизация матроида циклами
тире
м+2
Аксиоматизация матроида циклами
точка
м-6
Аксиоматизация матроида циклами
тире
м+7
Аксиоматизация матроида циклами
пара фиксов
м+32
Аксиоматизация матроида циклами
формула разбита на две
м+36
Аксиоматизация матроида циклами
скобочки
м+1
Аксиоматизация матроида циклами
третей->третьей
м+2
Аксиоматизация матроида циклами
Аксиоматизация+доказательство
23 января 2011
15 января 2011
Критерий Тарьяна минимальности остовного дерева
фикс
Теорема Тарьяна
переименовал «Теорема Тарьяна» в «Критерий Тарьяна минимальности остовного терева»
Критерий Тарьяна минимальности остовного дерева
переименовал «Теорема Тарьяна» в «Критерий Тарьяна минимальности остовного терева»
м
