Вклад участника
- 08:31, 16 января 2011 (разн. | история) . . (-4) . . Примеры неразрешимых задач: задача о выводе в полусистеме Туэ
- 08:10, 16 января 2011 (разн. | история) . . (+158) . . Примеры неразрешимых задач: задача о выводе в полусистеме Туэ
- 00:38, 16 января 2011 (разн. | история) . . (+4423) . . Н Примеры неразрешимых задач: задача о выводе в полусистеме Туэ (Новая страница: «{{Определение |definition = '''Полусистема Туэ(система подстановок)''' - это формальная система, оп…»)
- 01:15, 29 октября 2010 (разн. | история) . . (+5) . . м Иерархия Хомского формальных грамматик
- 01:11, 29 октября 2010 (разн. | история) . . (-1) . . Иерархия Хомского формальных грамматик
- 01:01, 29 октября 2010 (разн. | история) . . (+197) . . Формальные грамматики
- 00:48, 29 октября 2010 (разн. | история) . . (-2) . . Формальные грамматики
- 00:37, 29 октября 2010 (разн. | история) . . (+23) . . Формальные грамматики
- 13:11, 14 октября 2010 (разн. | история) . . (-2) . . Иерархия Хомского формальных грамматик
- 12:50, 14 октября 2010 (разн. | история) . . (+2) . . Иерархия Хомского формальных грамматик
- 12:49, 14 октября 2010 (разн. | история) . . (+311) . . Иерархия Хомского формальных грамматик
- 12:39, 14 октября 2010 (разн. | история) . . (+2154) . . Н Иерархия Хомского формальных грамматик (Новая страница: «''' Класс 0'''. К нулевому классу Холмского относятся грамматики <tex> \Gamma = <\Sigma, N, S \in N,P\subset N^{*}\…»)
- 11:49, 14 октября 2010 (разн. | история) . . (+22) . . Формальные грамматики
- 11:27, 14 октября 2010 (разн. | история) . . (+786) . . Н Формальные грамматики (Новая страница: «Определение: '''Формальная грамматика''' - четверка <math>\Gamma =<\Sigma, N, S \in N, P \in N^{*}\times (\Sigma\bigcup N)…»)
