As usual, we use ,→∗ev/st for the r

As usual, we use ,→∗ev/st for the reflexive and transitive closure of ,→ev/st.

Results (Japanese) 1:

いつものように、我々 →∗ev/st →ev/st の再帰的かつ推移的な閉鎖を使用します。

Results (Japanese) 2:

いつものように、我々は→* EV / stは、→EV / STの反射的と推移閉包のために、使用しています。

Results (Japanese) 3:

いつものように、我々は、再帰と他動詞の閉鎖のための→∗evからev聖聖