REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3533
Tytuł: Labelled State Transition Systems
Autorzy: Trybulec, Michał
Data wydania: 2009
Data dodania: 1-gru-2015
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 17, Issue 2, 2009, Pages 163-171
Abstrakt: This article introduces labelled state transition systems, where transitions may be labelled by words from a given alphabet. Reduction relations from [4] are used to define transitions between states, acceptance of words, and reachable states. Deterministic transition systems are also defined.
Afiliacja: YAC Software, Warsaw, Poland
URI: http://hdl.handle.net/11320/3533
DOI: 10.2478/v10037-009-0019-5
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2009, Volume 17, Issue 2

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
v10037-009-0019-5.pdf203,88 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons