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

0 votes
Hallo,

Preorder- reflexivity - Is it fair to say - the node with a state having a loop to itself is reflexive ?
in # Study-Organisation (Bachelor) by (290 points)

1 Answer

0 votes
I do not understand this question. What is the set which is ordered and what is the relation on that set that you are talking about? It seems that you want to order states of a state transition system which is typically not done.

If so, yes, then reflexivity would be a self-loop. But usually transitivity is not given (and you would have to consider reachability instead), and most of all, you could not have any cycle in the transition system which means that if a program is modeled, it could not have any loop. So, what I want to say is that transition systems that model systems are typically not representing orders.
by (170k points)

Related questions

0 votes
1 answer
asked Jun 1, 2023 in * TF "Emb. Sys. and Rob." by afnan (250 points)
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...