Michoo <m...@v...pl> wrote:

> >> Wydaje mi się, że "wystarczy" zarezerwować miejsce w automacie na
> >> dodatkowe stany i dołożyć je, kiedy ciąg już jest znany. Wszak to "\1"
> >> to nic innego, jak ustalony ciąg znaków.
> >
> > Nic podobnego, \1 może być dowolnym ciągiem. Nie wiesz, ile będziesz
> > potrzebował zarezerwować.
> A ile musisz zarezerwować na [a-z]+
> ?

W automacie skończonym? Zero. Nie ma żadnego "bufora" - automat zmienia
stan na podstawie funkcji przejść.

> Skoro dopasowałeś ten tekst do miejsca wystąpienia backrefa to znaczy,
> że gdzieś go masz w buforze na wypadek gdybyś się wycofywał.

Ja mogę mieć wszystko, ale który automat rozumie pojęcie "bufora"? :)
O to się cały czas rozchodzi - nie o algorytm, tylko o nazwę konstrukcji
teoretycznej.

w.

--
Mamy oswojoną sarnę i w związku z tym projektuję, by dorobić do niej kłódkę.