New answers tagged regular-language
4
An algebraic characterisation of the restricted temporal logic (fragment using only next and eventually, but not until) is given in [1].
The expressive power of this fragment is the set of regular languages whose syntactic monoid are locally $\cal L$-trivial.
I am not sure of the result you are looking for, but this article probably contains enough material ...
Top 50 recent answers are included
