Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
556 users
(2017.08)
I have been looking into the Temporal Past operator section in Chapter 7 Slides and I could not figure out How this temporal past operator X(with arrow) was substituted like GFXA = GFa, is there a formula like Xa=a(X with arrow)? If so where exactly in the slides are such formulas shown?