やったこと

Automata Learning

System of Procedural Automata (SPA) に対する学習とDeterministic Timed Automaton (DTA) に対する学習について調べていた。
SPAに関しては基本的なアイディアは大体分かった気がする。
DTAは分からん。定義が多すぎる。