Wojciech Muła pisze:
> 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ść.
W automacie - nie (no chyba, że ze stosem), ale automat ma jakieś
"wejście" i ono musi zadbać o odpowiednie buforowanie.
>
>> 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.
Automat ze stosem? - Ma "bufor". Inaczej (bez bufora) chyba nie da się
zapewnić samego _zapamiętania_ dopasowanych ciągów. A to jest pierwszy
etap do ich późniejszego dopasowania. Teorii niestety nie znam na tyle,
żeby coś więcej powiedzieć.

--
Pozdrawiam
Michoo