Leonard Harold Haines

• Generation and recognition of formal languages