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