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

+3 votes

Hi,

I'm trying to solve exercise 4 from the current exercise sheet using the presentation we got in our exercise lesson. However, I think there is a mistake in the table on page 20.

a -> b |- {} should be equivalent to 

  •    |- a and
  • b |- {}

and therefore the entry in the table should be SPLIT (|- a, b |- {})

or am I mistaken somewhere?

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

1 Answer

+3 votes
 
Best answer
You are right, we will fix that error!
by (170k points)
selected by
Imprint | Privacy Policy
...