if($es_digitador){


$_SESSION['acceso_digitador']  = 'permitido';

}

//URL->Digitador:

if(!isset($_SESSION['acceso_digitador'] && $_SESSION['acceso_digitador']  !== 'permitido'){

     //redirect home
}