In manual sunt incluse practic toate aspectele automatelor cu memorie stiva: functionarea, diverse variante (cu acceptare prin stari finale, prin stiva vida, deterministe), echivalenta lor cu gramaticile independente de context, probleme si exercitii insotite de solutii si explicatii.

Manualul este destinat studentilor, masteranzilor si doctoranzilor specialitatilor informatice, tuturor persoanelor interesate de bazele teoretice ale informaticii.