rezasurmar napisał(a):
To bodajże maszyna turniga.....
Niezupełnie. W automacie skończonym kolejny stan zależy tylko i wyłącznie od stanu aktualnego i symbolu na wejściu.
W maszynie Turinga jest jeszcze taśma (powiedzmy nieskończony bufor) na której można zapamiętywać symbole. Kolejny stan zależy również od symbolu na taśmie.
Tak jak napisał Ledes, za pomocą automatów można fajnie przedstawić algorytm który ma rozpoznać (zaakceptować) dany ciąg znaków na wejściu np. automat badający czy liczba na wejściu jest podzielna przez 3 albo automat szukający wzorca w tekście. Gdybyś chciał napisać parser jakiegoś jązyka (np. języka C) również przydałaby Ci się wiedza na temiat teorii automatów.
Polecam książkę Hopcrofta: "Wprowadzenie do teorii automatów, języków i obliczeń" - klasyczna pozycja z tego gatunku.