Сокращение пространства для журналов Сокращение логарифмического пространства Сокращение логарифмического пространства – это детерминированная машина Тьюринга, использующая логарифмическое пространство. Машина может […]
Суперкомбинатор Определение суперкомбинатора Суперкомбинатор – это математическое выражение, которое является полностью связанным и самодостаточным. Суперкомбинаторы могут быть константами или комбинаторами,
Апериодический конечный автомат Определение и свойства апериодического конечного автомата Апериодический конечный автомат – это автомат с апериодическим моноидом перехода. Обычный
Язык, свободный от звезд Определение обычного языка без звездочек Обычный язык без звездочек описывается регулярным выражением без символа Клини. Примеры
