Limbaje formale si automate

Deja au trecut aproape 10 ani de cand am terminat facultatea inca ma captiveaza subiectul, ce sunt automatele ? nu au nici o conotatie hardware, sunt niste modele matematice ce tin de informatica teoretica, din ele au fost inspirate masinile turing din care s-a nascut arhitectura Von Neuman care sta la baza arhitecturi calculatoarelor din ziua de azi,

http://andrei.clubcisco.ro/3lfa/carti/LFA%20-%20Indrumar%20pentru%20aplicatii.pdf

Asa pe scurt:

Se folosesc la baza teoriei compilatoarelor moderne … la calculatoare mecanice … si cam atat … cred.

Aplicatiile sunt multiple, unele dintre ele se mai gasesc si in ziua de azi:
Neural Turing Machines

Mai ai si alte resurse (in special pentru probleme) in afara de cartea aia?