Answers are grounded in this paper and cite their sources.
Implicit Computational Complexity makes two aspects implicit, by manipulating programming languages rather than models of com-putation, and by internalizing the bounds rather than using external measure. We survey how automata theory contributed to complexity with a machine-dependant with implicit bounds model.
No takes yet. Share an insight, caveat, or question.
Clément Aubert (2015) studied this question.