section_heading: Moć potisnih automata
paragraph_text: Računalni znanstvenici definiraju jezik kojeg može prihvatiti potisni automat kao kontekstno neovisni jezik, koji može biti specificiran kontekstno neovisnom gramatikom. Jezik koji se sastoji od jednakog broja slova 'a' i 'b', za kojeg je pokazano da je neregularan, može odlučiti potisni automat. Također, općenito, potisni se automat može ponašati kao i obični konačni automat, tako da može odlučiti svaki regularni jezik. Ovaj model računanja je strogo jači od konačnih automata.