prefiks to

Można ją przepisać do układu równań gramatycznych:

Łatwo można się pozbyć

I

musiby sprowadzić do wygodnej postaci:

I pozbyć się odniesienia do siebie samego:

Możemy teraz podstawić do

Teraz już tylko grupujemy samo-odniesienia:

I usuwamy je:

W ten sposób mechanicznie stworzyliśmy wyrażenie regularne, którego ręczne zbudowanie byłoby znacznie trudniejsze.

Przypisy

Kategoria:Języki formalne