Automatic Complexity

3 Edge complexity and digraphs

3.1 Edge-counting automatic complexity