Podrías almacenar todos los dígitos en una matriz, y de ahí calcular el valor numérico equivalente:
Código PHP:
Ver original$data = [
0 => 'ABC',
1 => 'DEF'
];
$num = 'DEBA';
De ahí debes descomponer "DEBA" en un array, entonces iteras $data y buscas en cada posición por la letra correcta.
Eso debería resultar en "1100" si no me equivoco.
