A - computation theory

A1 - computation
A2 - circuit models