No, no está codificado en ABNF. El párrafo dice:
The contents of the Registry.pol file read above MUST be formatted according to the following Augmented Backus-Naur Form (ABNF) (as specified in the [RFC4234]) description).
que quiere decir
Los contenidos del fichero Registry.pol leído antes DEBEN estar formateados de acuerdo a la siguiente descripción de formato aumentado de Backus-Naur (ABNF) (como se especifica en el [RFC4234])).
Es decir, lo que sigue,
Using text Syntax Highlighting
PolicyFile = Header Body
Header = Signature Version
Signature = %x50 %x52 %x65 %x67
Version = %x01 %x00 %x00 %x00
Body = Instructions
Instructions = Instruction / (Instructions Instruction)
IdCharacter = %x0020-005B / %x005D-007E
ValueCharacter = SP / VCHAR
Key = 1*IdCharacter
Instruction = " [" KeyPath ";" Value ";" Type ";" Size ";" Data "]"
KeyPath = Key / KeyPath "\" Key
Value = 1*259ValueCharacter
Type = %x01 / %x02 / %x03 / %x04 / %x05 / %x07 / %x0B
Size = 1*5DIGIT
Data = *65535OCTET
Coloreado en 0.000 segundos, usando
GeSHi 1.0.8.4
sí que es formato ABNF,
pero es la
representación del contenido del fichero. (Explicación de lo que es
Backus-Naur: una metasintaxis)
En otras palabras, esa docena de líneas debe servirte para ver cómo es el fichero por dentro y de cómo hacer un intérprete de él (parser).
Un ejemplo: mira que al principio pone que el fichero de políticas se compone de una cabecera (
Header) seguida de un cuerpo (
Body). Y la cabecera a su vez se compone de una firma (
Signature) y un número de versión (
Version). Y que la firma es la combinación de los bytes %x50, %x52, %x65 y %x67, mientras que la versión se compone (al principio) de los números %x01, %x00, %x00 y %x00 (el número de versión va cambiando). Si abres el fichero con un editor hexadecimal los verás. Y así el resto de la definición del fichero.
Otro ejemplo, pone que las claves (
Key) se forman como uno o más
IdCharacter (
1*IdCharacter), siendo IdCharacter el rango de bytes que van del %x0020 al %x005B o (/) del %x005D al %x007E (todos los caracteres que van desde el espacio en blanco a la
virgulilla de la eñe,
salvo el carácter '\').
En cuanto a la codificación interna, tienes un ejemplo de volcado binario de un fichero pol en la página 24 del documento enlazado, y se ve claramente que la codificación de los caracteres es en
Unicode (creo que
utf-16, pero no estoy seguro. Al menos veo que todos los caracteres del ejemplo tienen 16 bits de largo).
Con todo esto, no deberías tener problemas para leer el fichero...
). Si lo editas con un 
),