Sofic subshift