El documento clasifica los sistemas procesales penales en tres grupos: acusatorio, inquisitivo y mixto, según sus características más sobresalientes. Reconoce que esta clasificación no agota todas las posibilidades pero brinda un orden para el desarrollo propuesto. Además, define lenguajes de programación como lenguajes formales diseñados para realizar procesos que pueden ser llevados a cabo por máquinas, como crear programas que controlen el comportamiento físico y lógico de una máquina u expresar