On 19 Sie, 23:22, Maciej Sobczak <s...@g...com> wrote:
> On 19 Sie, 21:53, Mariusz Marszałkowski <m...@g...com> wrote:
>
> > Istnieje wiele algorytmów które rozstrzygają problem
> > stopu na automacie skończonym, przypomnijmy
> > jeden algorytm:
>
> Niestety bezużyteczny w praktyce ze względu na nieredukowalność
> obliczeniową wielu automatów.
No niestety. Tylko mała radość że to teoretycznie jest możliwe, albo
dla bardzo małych automatów.

Pozdrawiam