Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

935 questions

1.1k answers

1.4k comments

442 users

0 votes

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) ?

in * TF "Emb. Sys. and Rob." by (2.9k points)

1 Answer

+1 vote
 
Best answer
That is absolutely fine and would be the solution number one.
by (144k points)
selected by
Thanks a lot for clarifying.

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Aug 25, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
0 votes
1 answer
asked Aug 23, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
Imprint | Privacy Policy
...