Automaton Intersection (1)
Suppose that α1 and α2 are transition functions of the input schemata.
Let us construct α3 which simulates α1 and α2 .
前のスライド
次のスライド
最初のスライドに戻る
グラフィックスの表示