BNF转换为EBNF

Question

我正在将以下语法从BNF转换为EBNF。

<race> => go <dir_list> and stop

<dir_list> =>   <dir> 
              | <dir> then <dir_list>
<dir> =>   from <point> to <point>  
         | around <point>   
         | to <point> 
<point> =>   A
           | B
           | C

我已经完成了我的研究，并且我想出了

<race> => go <dir_list> and stop
<dir_list> => <dir> { (then) <dir> }
<dir> => (from | around | to ) { <point> to <point> }
<point> => (A|B|C)

这是正确的，不是有人能为我提供解决方案吗？