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

Can you please explain how to check safe and unsafe states?

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

1 Answer

0 votes
Omega-automata accept or reject infinite words. A word is accepted by an existential nondeterministic automaton if the word has an infinite run starting in initial states and satisfying the acceptance condition of the automaton.

The acceptance condition of the basic omega-automata is defined with a subset of the states which are called the accepting states.

For instance, a word is accepted by a safety automaton if it has a run starting in initial states and visiting only the accepting states of the automaton. A word is accepted by a liveness automaton if it has a run starting in initial states and visiting at least once an accepting state of the automaton.

For safety automata, the "safe" states are just a synonym for its accepting states, so they are given and define the automaton itself.
by (170k points)
Imprint | Privacy Policy
...