finite subshift