Regularny vyraz - AAG
asked 2015-11-20 20:42:07 +0100
Zdravim, chcel by som sa spytat na upravu jednej rovnice, ktorou si nie som uplne isty. Riesim prevod z KA na RV metodou odchadzajucich prechodov.
Takto je popisany automat
q0 = aq1
q1 = bq0 + cq1 + eps
q1 = cq1 + baq1 + eps
q1 = (c+ba)q1 + eps
uprava -> q1 = (c+ba)* + eps
Vysledok
q0 = a(c+ba)* + eps
Neviem, ci v tom upravenom a aj vysledku ma byt aj epsilon alebo nie, z poznamok z prednasky tam ten epsilon nemam, no podla mna by tam byt mal. Hoci na druhej strane, ked tam pridam epsilon do vysledku, budem vediet vygenerovat samotny epsilon, a to povodny automat nevedel, vzdy tam muselo byt minimalne acko jedno. Dakujem.
