> a,b := 0,1と普通は定義する

意味不明

> 中の方で行っている厳密な定義はどのようになっているのでしょうか？

「中の方で行っている厳密な定義」ってなんのこと？

「a,b := 0,1」のような多重代入の、BNFか何かの構文規則が知りたい、ということ？
どうやって左右の要素の個数を一致させるか、とか。