Вклад участника
17 января 2016
Детерминированные автоматы с магазинной памятью
Пример
м+41
Детерминированные автоматы с магазинной памятью
Пример
м+31
Детерминированные автоматы с магазинной памятью
Пример
м+1
Детерминированные автоматы с магазинной памятью
Пример
м+177
Детерминированные автоматы с магазинной памятью
Пример
м+3
Детерминированные автоматы с магазинной памятью
Пример
м+401
Детерминированные автоматы с магазинной памятью
Нет описания правки
м+48
Детерминированные автоматы с магазинной памятью
Источники
+106
Автоматы с магазинной памятью
См. также
м-93
Автоматы с магазинной памятью
См. также
м+60
Автоматы с магазинной памятью
Пример недетерминированного МП-автомата
м+263
Автоматы с магазинной памятью
Недетерминированный автомат с магазинной памятью
м-89
Автоматы с магазинной памятью
Источники информации
м+75
Автоматы с магазинной памятью
Пример недетерминированного МП-автомата
м-179
Автоматы с магазинной памятью
Диаграммы переходов
м+18
Автоматы с магазинной памятью
Недетерминированный автомат с магазинной памятью
м+6
Автоматы с магазинной памятью
Недетерминированный автомат с магазинной памятью
м-41
Автоматы с магазинной памятью
Источники
м+69
22 декабря 2015
21 декабря 2015
Возможность порождения формальной грамматикой произвольного перечислимого языка
Нет описания правки
м+10
Возможность порождения формальной грамматикой произвольного перечислимого языка
Источники информации
м+2
Возможность порождения формальной грамматикой произвольного перечислимого языка
См. также
м+2
Возможность порождения формальной грамматикой произвольного перечислимого языка
Примеры
м+6
Возможность порождения формальной грамматикой произвольного перечислимого языка
Теорема
м-20
Линейный клеточный автомат, эквивалентность МТ
Определения
м+77
Линейный клеточный автомат, эквивалентность МТ
Определения
м+5
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Счётчиковые машины
м-40
Стековые машины, эквивалентность двухстековой машины МТ
Стековая машина
м-36
Вычислимые функции
Источники информации
м+84
Вычислимые функции
Характеристика перечислимых множеств через вычислимые функции
м-4
Вычислимые функции
Основные определения
м-2
Вычислимые функции
Основные определения
м+3
Существенно неоднозначные языки
Источники информации
м+47
Регулярные языки: два определения и их эквивалентность
Регулярные языки: два определения и их эквивалентность
м+2
Возможность порождения формальной грамматикой произвольного перечислимого языка
Источники информации
м-4
Возможность порождения формальной грамматикой произвольного перечислимого языка
См. также
м-4
Возможность порождения формальной грамматикой произвольного перечислимого языка
Источники информации
м+2
Возможность порождения формальной грамматикой произвольного перечислимого языка
См. также
м+2
Возможность порождения формальной грамматикой произвольного перечислимого языка
Источники информации
м+6
Линейный клеточный автомат, эквивалентность МТ
Источники информации
м+12
Возможность порождения формальной грамматикой произвольного перечислимого языка
Источники информации
+376
Возможность порождения формальной грамматикой произвольного перечислимого языка
Источники информации
м+470
Возможность порождения формальной грамматикой произвольного перечислимого языка
См. также
+1
Возможность порождения формальной грамматикой произвольного перечислимого языка
Построение грамматики по МТ
м+225
Возможность порождения формальной грамматикой произвольного перечислимого языка
Теорема
м+42
Возможность порождения формальной грамматикой произвольного перечислимого языка
Теорема
м+84
Возможность порождения формальной грамматикой произвольного перечислимого языка
Построение грамматики по МТ
м+137
Линейный клеточный автомат, эквивалентность МТ
Эквивалентность линейного клеточного автомата машине Тьюринга
м+11
Линейный клеточный автомат, эквивалентность МТ
Источники информации
м+22
Линейный клеточный автомат, эквивалентность МТ
Литература
м+158