Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
The classes NNPCRI and NNPCRII of nondeterministic parallel controlled k-nets of shift-registers are introduced. These classes are generalizations of the majority of shift-register nets that have been considered before. It is proved that the finiteness problem for sets definable by the k-nets of some subclasses of both classes is decidable. Then it is shown that the class of sets definable by k-nets of NNPCRI, is a subclass of the class of sets definable by Jk-nets of NNPCRII, but the converse relation is not true. On the other hand the ciasses of all stale sequences of the k-nets of both classes are identical. At the very end a few open problems are put forward.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
194--211
Opis fizyczny
Bibliogr. 20 poz.
Twórcy
autor
- Institute of Mathematics Technical University of Lublin ul. Okopowa 8 20-022 Lublin, Poland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-PWA1-0028-0022