PanLinx
русский
rus-000
сильно связный автомат
English
eng-000
strongly connected automaton
PanLex