Comment by pizza

What demarcates trivial and non-trivial applications? # of machines, guaranteeing xyz?