このlシステムは次のように記述できる。