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

Exam : 25.08.2020 : Q. 8 (d) part 2 : 2020.08.25.vrs.solutions.pdf (uni-kl.de)

This question asks to translate the given formula to LO2 :

As the formula is an automata formula, can I just translate it to LO2 like below using algorithm given on slide 25 of module 8 (From ω-Automata to LO2) ?