Uvod u teoriju računarstva / 2011 / LAB2 / simulator nedeterminističkog potisnog automata

"Definicija automata":
"Ulazni nizovi":

NAČIN PRIHVAĆANJA: prihvatljivim stanjem ili praznim stogom

DETALJNI ISPIS:
DA NE
IZLAZ PROGRAMA:
"01011010"
ε OKRUZENJE( {(q0, K)} ) --ε--> {(q0, K), (qp, K)}
0( {(q0, K), (qp, K)} ) --0--> {(q0, NK)}
ε OKRUZENJE( {(q0, NK)} ) --ε--> {(q0, NK)}
1( {(q0, NK)} ) --1--> {(q0, JNK)}
ε OKRUZENJE( {(q0, JNK)} ) --ε--> {(q0, JNK)}
0( {(q0, JNK)} ) --0--> {(q0, NJNK)}
ε OKRUZENJE( {(q0, NJNK)} ) --ε--> {(q0, NJNK)}
1( {(q0, NJNK)} ) --1--> {(q0, JNJNK)}
ε OKRUZENJE( {(q0, JNJNK)} ) --ε--> {(q0, JNJNK)}
1( {(q0, JNJNK)} ) --1--> {(q0, JJNJNK), (q1, NJNK)}
ε OKRUZENJE( {(q0, JJNJNK), (q1, NJNK)} ) --ε--> {(q0, JJNJNK), (q1, NJNK)}
0( {(q0, JJNJNK), (q1, NJNK)} ) --0--> {(q0, NJJNJNK), (q1, JNK)}
ε OKRUZENJE( {(q0, NJJNJNK), (q1, JNK)} ) --ε--> {(q0, NJJNJNK), (q1, JNK)}
1( {(q0, NJJNJNK), (q1, JNK)} ) --1--> {(q0, JNJJNJNK), (q1, NK)}
ε OKRUZENJE( {(q0, JNJJNJNK), (q1, NK)} ) --ε--> {(q0, JNJJNJNK), (q1, NK)}
0( {(q0, JNJJNJNK), (q1, NK)} ) --0--> {(q0, NJNJJNJNK), (q1, K)}
ε OKRUZENJE( {(q0, NJNJJNJNK), (q1, K)} ) --ε--> {(q0, NJNJJNJNK), (q1, K), (qp, K)}
NIZ JE PRIHVATLJIV
"0"
ε OKRUZENJE( {(q0, K)} ) --ε--> {(q0, K), (qp, K)}
0( {(q0, K), (qp, K)} ) --0--> {(q0, NK)}
ε OKRUZENJE( {(q0, NK)} ) --ε--> {(q0, NK)}
NIZ NIJE PRIHVATLJIV
"01"
ε OKRUZENJE( {(q0, K)} ) --ε--> {(q0, K), (qp, K)}
0( {(q0, K), (qp, K)} ) --0--> {(q0, NK)}
ε OKRUZENJE( {(q0, NK)} ) --ε--> {(q0, NK)}
1( {(q0, NK)} ) --1--> {(q0, JNK)}
ε OKRUZENJE( {(q0, JNK)} ) --ε--> {(q0, JNK)}
NIZ NIJE PRIHVATLJIV
"00"
ε OKRUZENJE( {(q0, K)} ) --ε--> {(q0, K), (qp, K)}
0( {(q0, K), (qp, K)} ) --0--> {(q0, NK)}
ε OKRUZENJE( {(q0, NK)} ) --ε--> {(q0, NK)}
0( {(q0, NK)} ) --0--> {(q0, NNK), (q1, K)}
ε OKRUZENJE( {(q0, NNK), (q1, K)} ) --ε--> {(q0, NNK), (q1, K), (qp, K)}
NIZ JE PRIHVATLJIV
""
ε OKRUZENJE( {(q0, K)} ) --ε--> {(q0, K), (qp, K)}
NIZ JE PRIHVATLJIV
"110011"
ε OKRUZENJE( {(q0, K)} ) --ε--> {(q0, K), (qp, K)}
1( {(q0, K), (qp, K)} ) --1--> {(q0, JK)}
ε OKRUZENJE( {(q0, JK)} ) --ε--> {(q0, JK)}
1( {(q0, JK)} ) --1--> {(q0, JJK), (q1, K)}
ε OKRUZENJE( {(q0, JJK), (q1, K)} ) --ε--> {(q0, JJK), (q1, K), (qp, K)}
0( {(q0, JJK), (q1, K), (qp, K)} ) --0--> {(q0, NJJK)}
ε OKRUZENJE( {(q0, NJJK)} ) --ε--> {(q0, NJJK)}
0( {(q0, NJJK)} ) --0--> {(q0, NNJJK), (q1, JJK)}
ε OKRUZENJE( {(q0, NNJJK), (q1, JJK)} ) --ε--> {(q0, NNJJK), (q1, JJK)}
1( {(q0, NNJJK), (q1, JJK)} ) --1--> {(q0, JNNJJK), (q1, JK)}
ε OKRUZENJE( {(q0, JNNJJK), (q1, JK)} ) --ε--> {(q0, JNNJJK), (q1, JK)}
1( {(q0, JNNJJK), (q1, JK)} ) --1--> {(q0, JJNNJJK), (q1, NNJJK), (q1, K)}
ε OKRUZENJE( {(q0, JJNNJJK), (q1, NNJJK), (q1, K)} ) --ε--> {(q0, JJNNJJK), (q1, NNJJK), (q1, K), (qp, K)}
NIZ JE PRIHVATLJIV
"111110"
ε OKRUZENJE( {(q0, K)} ) --ε--> {(q0, K), (qp, K)}
1( {(q0, K), (qp, K)} ) --1--> {(q0, JK)}
ε OKRUZENJE( {(q0, JK)} ) --ε--> {(q0, JK)}
1( {(q0, JK)} ) --1--> {(q0, JJK), (q1, K)}
ε OKRUZENJE( {(q0, JJK), (q1, K)} ) --ε--> {(q0, JJK), (q1, K), (qp, K)}
1( {(q0, JJK), (q1, K), (qp, K)} ) --1--> {(q0, JJJK), (q1, JK)}
ε OKRUZENJE( {(q0, JJJK), (q1, JK)} ) --ε--> {(q0, JJJK), (q1, JK)}
1( {(q0, JJJK), (q1, JK)} ) --1--> {(q0, JJJJK), (q1, JJK), (q1, K)}
ε OKRUZENJE( {(q0, JJJJK), (q1, JJK), (q1, K)} ) --ε--> {(q0, JJJJK), (q1, JJK), (q1, K), (qp, K)}
1( {(q0, JJJJK), (q1, JJK), (q1, K), (qp, K)} ) --1--> {(q0, JJJJJK), (q1, JJJK), (q1, JK)}
ε OKRUZENJE( {(q0, JJJJJK), (q1, JJJK), (q1, JK)} ) --ε--> {(q0, JJJJJK), (q1, JJJK), (q1, JK)}
0( {(q0, JJJJJK), (q1, JJJK), (q1, JK)} ) --0--> {(q0, NJJJJJK)}
ε OKRUZENJE( {(q0, NJJJJJK)} ) --ε--> {(q0, NJJJJJK)}
NIZ NIJE PRIHVATLJIV
"01011010"
ε OKRUZENJE( {(q0, K)} ) --ε--> {(q0, K), (qp, K)}
0( {(q0, K), (qp, K)} ) --0--> {(q0, NK)}
ε OKRUZENJE( {(q0, NK)} ) --ε--> {(q0, NK)}
1( {(q0, NK)} ) --1--> {(q0, JNK)}
ε OKRUZENJE( {(q0, JNK)} ) --ε--> {(q0, JNK)}
0( {(q0, JNK)} ) --0--> {(q0, NJNK)}
ε OKRUZENJE( {(q0, NJNK)} ) --ε--> {(q0, NJNK)}
1( {(q0, NJNK)} ) --1--> {(q0, JNJNK)}
ε OKRUZENJE( {(q0, JNJNK)} ) --ε--> {(q0, JNJNK)}
1( {(q0, JNJNK)} ) --1--> {(q0, JJNJNK), (q1, NJNK)}
ε OKRUZENJE( {(q0, JJNJNK), (q1, NJNK)} ) --ε--> {(q0, JJNJNK), (q1, NJNK)}
0( {(q0, JJNJNK), (q1, NJNK)} ) --0--> {(q0, NJJNJNK), (q1, JNK)}
ε OKRUZENJE( {(q0, NJJNJNK), (q1, JNK)} ) --ε--> {(q0, NJJNJNK), (q1, JNK)}
1( {(q0, NJJNJNK), (q1, JNK)} ) --1--> {(q0, JNJJNJNK), (q1, NK)}
ε OKRUZENJE( {(q0, JNJJNJNK), (q1, NK)} ) --ε--> {(q0, JNJJNJNK), (q1, NK)}
0( {(q0, JNJJNJNK), (q1, NK)} ) --0--> {(q0, NJNJJNJNK), (q1, K)}
ε OKRUZENJE( {(q0, NJNJJNJNK), (q1, K)} ) --ε--> {(q0, NJNJJNJNK), (q1, K), (qp, K)}
NIZ JE PRIHVATLJIV