•Non-uniform AC0 can express
non-computable properties !
•Need to restrict the
association n ! Cn to something easily computable
•Complex definitions in
complexity theory textbooks…
•
•Better: define uniform AC0 = FO(+, £)
•
•Alternatively FO(+, £) = FO(<, BIT)