Revision history [back]
 | 1 | initial version | posted 2015-12-26 21:00:59 +0100  |
Ta gramatika moc hezky nevypadá. Ve trojce ti myslím utekla závorka, ale jinak mi to taky vychází dost složitě. Nevím, ale který stav automatu byl počáteční, proto jsem to ani nezkoušel dokončit. Ono by stejně bylo lepší, kdybych viděl celý automat. Možná by to k něčemu pomohlo..
3 = (ts)*(ss*s5 + ss*t4 + tt1 +t5 + eps)
4 = s(ts)*(ss*s5 + ss*t4 + tt1 +t5 + eps) + t1
4 = s(ts)*ss*s5 + s(ts)*ss*t4 + s(ts)*tt1 + s(ts)*t5 + s(ts)* + t1
4 = (s(ts)*ss*t)*(s(ts)*ss*s5 + s(ts)*tt1 + s(ts)*t5 + s(ts)* + t1)
| | 2 | No.2 Revision |
Ta gramatika moc hezky nevypadá. Ve trojce ti myslím utekla závorka, ale jinak mi to taky vychází dost složitě. Nevím, ale který stav automatu byl počáteční, proto jsem to ani nezkoušel dokončit. Ono by stejně bylo lepší, kdybych viděl celý automat. Možná by to k něčemu pomohlo..
3 = (ts)*(ss*s5 + ss*t4 + tt1 +t5 + eps)
4 = s(ts)*(ss*s5 + ss*t4 + tt1 +t5 + eps) + t1
4 = s(ts)*ss*s5 + s(ts)*ss*t4 + s(ts)*tt1 + s(ts)*t5 + s(ts)* + t1
4 = (s(ts)*ss*t)*(s(ts)*ss*s5 + s(ts)*tt1 + s(ts)*t5 + s(ts)* + t1)
EDIT: Tak nakonec se ukazuje jako nejlepší dosazovat na začátku co nejvíce to jde, tím se zbavíš několika terminálů a potom už to celkem jde. Ukážu začátek mého postupu, celé se mi to sem psát nechce:
Dosadím za 5
1 = t2 + eps
2 = s2 + s(s1 + t4) + t4 = s2 + ss1 + st4 + t4 = ss1 + (st + t)4
3 = s2 + t4 + t(s1 + t4) + eps = s2 + t4 +ts1 + tt4 + eps = s2 + (t +tt)4 +ts1 + eps
4 = s3 + t1
Přepíši pro přehlednost
1 = t2 + eps
2 = ss1 + (st + t)4
3 = s2 + (t +tt)4 +ts1 + eps
4 = s3 + t1
Dosadím za 4
1 = t2 + eps
2 = ss1 + (st + t)(s3 + t1)
3 = s2 + (t +tt)(s3 + t1) +ts1 + eps
