dBang 계산법에서 의미성은 타입화 가능성과 거주성을 통해 특성화될 수 있다. 또한 의미 없는 항들은 의미 있는 항들의 중요성에 영향을 미치지 않는다는 일반성 속성이 성립한다.
기호 리스팅은 부울 함수의 복잡도와 저깊이 산술 회로 복잡도를 공식적으로 연결하는 대수적 계산 모델을 제공한다.
