category,construction
Ban_k,initial object
Ban_k,terminal object