GitHub repository: logan2d5/fla
Description: formal language and automata