come è formattato il file di testo?

usi come separatore gli spazi, ma se un comune è composto da piu parole non dovrebbe funzionare.

prova cosi

A001:ROMA
A002:ABANO TERME
A003:VERONA

Codice PHP:
function codiceCatastale($comuneNascita) {
    
$comuni file('prova.txt'); 
    
    foreach(
$comuni as $comune) {         
        
$arrayCodiceComune explode(":"$comune);
        
        if (
$comuneNascita === $arrayCodiceComune[1]) {
            echo 
$arrayCodiceComune[0];
            break;
        }
    }

    echo 
"NO<br/>";