Formal Language Analysis Protocol Design | Formal Language Analysis | Mathematics | NEROS