嗯。問一下有限程式語法嗎