P96 - Syntax checker.

In a certain programming language (Ada) identifiers are defined by the syntax diagram (railroad chart) opposite. 

Transform the syntax diagram into a system of syntax diagrams which do not contain loops; i.e. which are purely recursive.  Using these modified diagrams, write a function isIdentifier that can check whether or not a given string is a legal identifier.