Lis peraulis son manipuladis cun cualchi regulis, (la -avualance, la -riduzion e la -conversion), che son li assioms da la teorie e puedin jessi viodudis come regulis di computazion.