Title: Feasible computations and provable complexity properties
Subjects: Computational complexity, Formal languages, Machine theory