2024-05-182024-05-1810036https://scholars.lib.ntu.edu.tw/handle/123456789/716579Automata Theory and Formal LanguagesGraph Drawing and Information VisualizationFormal Verification自動機理論與正規語言圖形繪製與資訊視覺化正規驗證