Data-driven controller synthesis for abstract systems with regular language specifications