The Influence of Temporal Logic on Finite Automata. AREJ 2023, 28 (1), 230-238. https://doi.org/10.33899/rengj.2023.136476.1208.