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

Перейти к: навигация, поиск

Lidia2008

15 декабря 2010

Файл:StackMachine.png
Нет описания правки
14:33

29 октября 2010

МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
‎Эквивалентность автоматов
06:18
-94
МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
‎Допуск по пустому магазину
06:08
+10
МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
‎Допуск по заключительному состоянию
06:07
+10
МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
‎Допустимость по пустому магазину
06:04
+1
МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
‎Допустимость по заключительному состоянию
06:03
+1

28 октября 2010

27 октября 2010

14 октября 2010

11 октября 2010

10 октября 2010

7 октября 2010

6 октября 2010

Эквивалентность состояний ДКА
‎Проверка эквивалентности автоматов
07:36
+158

2 октября 2010

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/Lidia2008»

Навигация