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

868 questions

986 answers

1.4k comments

438 users

0 votes

My questions is

and using the tool I get this quotient structure

and my solution is

vars a,c,d;
init 0,3;
labels 0:; 1:; 2:c,d; 3:; 4:; 5:c,d;
transitions 0->1; 0->3; 1->2; 1->3; 2->3; 3->3;  5->3; 5->0;

I tried it to remove 4 but it is still wrong.

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

2 Answers

0 votes
I'm a bit confused how S4 could be merged with any state as it has an edge to S5 which no other state has. Are you sure, you entered the task correctly to the tool? What's you solution when you do it manually?
by (25.2k points)
0 votes

When I am using the tool, I get another result which looks plausible to me. Did you use the following input (which is the given structure):

vars a,c,d;
init 0,3;
labels 0:; 1:; 2:c,d; 3:; 4:; 5:c,d;
transitions 0->1; 0->3; 1->2; 1->3; 2->3; 3->3; 3->4; 4->3; 4->5; 5->3; 5->0;
and did you compute K1≈K1?
by (139k points)

Related questions

0 votes
1 answer
0 votes
1 answer
asked May 29, 2020 in * TF "Emb. Sys. and Rob." by sschwarz (1.7k points)
0 votes
1 answer
asked Jul 13, 2020 in # Study-Organisation (Master) by RS (770 points)
0 votes
1 answer
Imprint | Privacy Policy
...