Вклад участника

2 декабря 2010

• Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций

  Вторая теорема

  08:03

  +3733

• Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций

  Первая теорема.

  07:38

14 октября 2010

• Правоконтекстные грамматики, эквивалентность автоматам

  Нет описания правки

  м

  04:35

  +62

• Правоконтекстные грамматики, эквивалентность автоматам

  Финальная версия

  04:29

  +4115

12 октября 2010

• Правоконтекстные грамматики, эквивалентность автоматам

  Нет описания правки

  06:02

  +3704

9 октября 2010

• Правоконтекстные грамматики, эквивалентность автоматам

  Нет описания правки

  20:05

  -6

• Правоконтекстные грамматики, эквивалентность автоматам

  Новая страница: «{{Определение |definition= '''Правоконтекстной грамматикой''' <tex>\Gamma</tex> называется грамматика, в …»

  19:55