- Tytuł:
- Bisimulation relation for selected types of probabilistic and quantum automata
- Autorzy:
- Siedlecka-Lamch, O.
- Powiązania:
- https://bibliotekanauki.pl/articles/121922.pdf
- Data publikacji:
- 2011
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
bisimulation relation
probabilistic automata
quantum automata
relacja bisymulacji
automaty probabilistyczne
automaty kwantowe - Opis:
- The first step to make transitional systems more efficient is to minimize the number of their states. A bisimulation relation is a mathematical tool that helps in searching for equivalent systems, what is useful in the minimization of algorithms. For two transition systems bisimulation is a binary relation associating systems which behave in the same way in the sense that one system simulates the other and viceversa. The definition for classical systems is clear and simple, but what happens with nondeterministic, probabilistic and quantum systems? This will be the main topic of this article.
- Źródło:
-
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 135-140
2450-9302 - Pojawia się w:
- Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
- Dostawca treści:
- Biblioteka Nauki
Artykuł