JacyCui/fla formal language and automata GitHub repository with 37 stars and 16 forks. Open provider repository