Revision history [back]

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. Dakujem.

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.