Linear-bounded automation

Материал из WEGA

Linear-bounded automation --- линейно-ограниченный автомат.

See

  • Model of computation.