خودکارافزار متناهی
finite automata
خودکارافزارپایین‌فشردنی
pushdown automata