2016年10月3日月曜日

2016/10/03

In the morning, I have attended a class of categories.

These days, I read Analyzing Timed Systems Using Tree Automata to use in my work. Today I tried to understand the tree automata for validity. Since I have almost forgotten tree automata, I also reviewed some properties about tree automata with Wikipedia. In this paper, non-deterministic bottom-up tree automata are used. I also ran the tree automaton by hand. I realized my approach was difficult. I need to think another method.

0 件のコメント:

コメントを投稿