Arvutid II teooria eksam
Tekstilised end module Üleminekud (transitions): Kasutatakse süsteemi
ning alles siis tehakse siire.
Spetsifikatsioonikeeled võivad olla dl3 toimimisetähistamiseks
See eeldab levitamismehhanisme kõikidesse
p See näide on kirjutatud Süsteemi olek: kirjeldatakse koha sõlmede
annaabi.ee 
