Translator from Regular Linear Temporal Logic (RLTL) formulas into Büchi Automata