W dniu 2010-08-20 04:15, Mariusz Marszałkowski pisze:
> 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.

Dla "bardzo malych automatow" zawsze bylo mozliwe praktyczne
rozstrzygniecie, w najgorszym wypadku przez 'brutal-force'.

Ale to z matematyczną stroną algorytmiki juz nie ma nic wspolnego.

Nie wiem czy istnieje definicja "bardzo małego automatu". Byla by
podobna do kwantyfikatora "prawie wszystkie" ????

;)