kuroda Python library for automata and formal grammar theory. kuroda is named after the linguist Sige-Yuki Kuroda (黒田 成幸).