Taula-stats-juk

Table 1: Descripció de la maquina d'estats per l'automata juk.
 
Descripció del cilce d'execució:
Cicle d'execució: i1 > s1..sn > e1
Cicle de realimentació: r(0) > r(M,D,R) > r(N)
Temps máxim de cicle r(M): 725ms
Descripció dels estats de realimentació: r[0,N,M,D,R], r(sn)=rn
r(0): estat inicial zero.
r(N): sense realimentació.
r(M): sn+1 realimentació següent definida al diccionari d'estats.
r(D): estat on espera ordre del estat següent desde el servidor.
r(R): realimentació de cada estat.
Descripció de la capçalera de la taula de estats:
sn,sn+1: estat inicial, estat següent.
cin,cout: condició de entrada, condició de sortida del estat.
r(): funció de realimentació.
vin,vout: variable d'entrada i de sortida del cada estat.
vR: variable de realimentació del estat principal s1.
Diccionari d'estats: DS(rn)=jmode
dstats={jstat:jmode}
dstats={
'inici':'pista','iniciat':'escolti','mapeig':'mapache', 'imap':'mapache',
'mapafet':'escolti','ubicat':'escolti', 'llestos':'bandera','verd':'arcade',
'rodat':'escolti', 'mossegat':'escolti'
}
O=Poweroff, N=Null, T=True, F=False, P=Poweron
Table 2: Taula de la maquina d'estats per l'automata juk.
               
sn cin cout r() vin vout vR sn+1
i1 P i1.c0 N P T N s1
s1 sn.c0 s1.cn M jstat=rn jmode=DS(rn) fcar=T sn
s1 i1.c0 s1.c0 M T fcar=F fcar=T e1
s2 s1.c2 s2.c0 M jmode='bandera' jstat='rodat' fcar=T s1
s3 s1.c3 s3.c0 M jmode='arcade' jstat='rodat' fcar=T s1
s4 s1.c4 s4.c0 M jmode='mapache' jstat='mapafet' fcar=T s1
s5 s1.c5 s5.c0 M jmode='pista' jstat='ubicat' fcar=T s1
s6 s1.c6 s6.c0,s6.c1 M,D jmode='gremlin' jstat='mossegat','escolti' fcar=T s1,s8
s7 s1.c7 s7.c0 M jmode='kasa' jstat='fi' fcar=T s1
s8 s1.c8 s8.c0 M jmode='escolti' jstat=rn fcar=T s1
s2a s2.c1 s2.c0,s2a.c1 M,R jstat='llestos' jstat=rn,'llestos' fcar=T s1,s2a
s2b s2.c2 s2.c0,s2b.c1,s2b.c3 M,R,D jstat='zebra' jstat=rn,'zebra','rodat' fcar=T s1,s2b,s8
s3a s3.c1 s3a.c1 R jstat='verd' jstat='verd' fcar=T s3a
s4a s4.c1 s4.c0 M jstat='imap ' jstat=rn fcar=T s1
s4b s4.c2 s4.c0 ,s4b.c1 M ,R jstat='mapeig' jstat=rn,'mapeig' fcar=T s1,s4b
s4c s4.c3 s4.c0,s4b.c1 M,D jstat='mapafet' jstat=rn,'mapafet' fcar=T s1,s8
s5a s5.c1 s5.c0 M jstat='inici ' jstat=rn fcar=T s1
s5b s5.c2 s5.c0,s5b.c1 M ,R jstat='ubicant' jstat=rn,'ubicant' fcar=T s1,s5b
s5c s5.c3 s5.c0,s5c.c1 M,D jstat='ubicat ' jstat=rn,'rodat' fcar=T s1,s8
s7a s7.c1 s7.c0 M jmode='escolti' jstat=rn fcar=T s1
e1 s1.c0 N N fcar=F fcar=F fcar=F 0

Juk Flow Diagrma

Author: nae

Created: 2018-12-27 jue 09:42

Emacs 24.4.1 (Org mode 8.2.10)

Validate