Na teoria das linguagens formais, a Hierarquia de Chomsky classifica as linguagens em quatro tipos (0, 1, 2 e 3), de acordo com seu poder de geração e o modelo computacional capaz de reconhecê-las. Considerando essa classificação, as linguagens livres de contexto, pertencentes ao Tipo 2 da hierarquia, são reconhecidas por qual dos seguintes modelos computacionais?