Offline Development:

You don't need online access to develop in Ada. MinGW has an Ada compiler.

Here's the download site for the MinGW installer.
https://osdn.net/projects/mingw/downloads/68260/mingw-get-setup.exe/

MinGW is located at MinGW.org.

With this tool, you will only need to ftp to acad and confirm it works there. Otherwise, you're on your own machine. 

vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv

Removing Left Recursion

Why important? When parsing, each rule application must absorb one or more terminals. Rules that start with variables can be problematic, and rules with a left-recursive variable can easily go infinite. A terminal is needed on the left side of all rules.


vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv

An ordinal type is one for which every value has a clearly defined predecessor and successor.

Is the successor of 1.237 1.238? What about 1.2375?
What is the successor of TRUE? FALSE