Several people have done that same translation before. I expect some of them have posted the resulting Pronto Hex and/or CCF files. So you may find it easier to find the work already done somewhere on this site, than to do it again yourself.

On a simple search, just now, I found only TGrugett's post at
[Link: remotecentral.com]
that is clearly on topic for you. I didn't find his follow up to that, though I'm sure it's around here somewhere.

But in case you can't find the work already done, here is the explanation:

When the Denon documentation says the format is "Sharp", that is the format that is called "Denon" in MakeHex, so you use the Denon.irp file.

When the Denon documentation says the format is "Kaseikyo", that is the format that is called "Denon-K" in MakeHex, so you use the Denon-K.irp file.

Denon-K was added to MakeHex.zip fairly recently, so you may need a new copy from
[Link: hifi-remote.com]

For the "Denon" (Sharp) protocol, you need to look at three values in the Denon documentation:
*)System Address: That is a backwards binary number so you must reverse it left to right, then convert from binary to decimal, then use it as the "Device" number in Denon.irp (that is the only thing you need to edit in Denon.irp). Example: The first system address in that file was 01000. Reversed and converted to decimal, that is 2. So those signals are DEnon device 2.
*)No.: That is part of the function number. It is already in decimal. For example, the first command listed is "Power" with an "No." value of 1.
*)Extension: That has one of four possible values, three of which require that you change the "No." value to get the function number:
00 -> Function = No.
10 -> Function = No. + 64
01 -> Function = No. + 128
11 -> Function = No. + 192
For example, the Extension of 11 tells you the function number for "Power" is 193 (1 plus 192).

For the "Denon-K" (Kaseikyo) protocol, you also need to look at three values in the Denon Documentation. All three are in backwards binary as described above. Most Denon documentation has some of those numbers in decimal, but the document you linked seems to have them only in backwards binary.
To change numbers from binary to decimal, you might want to use Windows calculator in view scientific mode.
*) Genre1: That is the number before the . in Device
*) Genre2: That is the number after the . in Device
*) Data and ID together: That is the function number.